. "Condition::=A ::= rel[ x, y ]( x \\in A and x=y), -- A is a Set X." . . .