FILL_IN_THE_BLANK:Binary relation
Binary relation
Suppose that $$Rho $$is a binary relation on the set $$a $, if $$a, B in a $$, and $$LANGLE, a, B \ \ range, in Rho $$, then $$a $$is said to be related to $$B $, denoted as: $$a \ \ rho, B $$.
The binary @ @ [LANGLE \ \ a, B \ \ range $$is also called @ @ [ordinal pair] (1), and @ @ [precursor] (1) of $$B $$, and @ @ [successor] (1) of $$a $$.
answer：Empty 1: ordinal pairs||
Blank 2: precursor||
Space 3: follow up||
Suppose that $$Rho $$is a binary relation on the set $$a $, if $$a, B in a $$, and $$LANGLE, a, B \ \ range, in Rho $$, then $$a $$is said to be related to $$B $, denoted as: $$a \ \ rho, B $$.
The binary @ @ [LANGLE \ \ a, B \ \ range $$is also called @ @ [ordinal pair] (1), and @ @ [precursor] (1) of $$B $$, and @ @ [successor] (1) of $$a $$.
answer：Empty 1: ordinal pairs||
Blank 2: precursor||
Space 3: follow up||