Test the binary relations on S for reflexivity, symmetry ,antisymmetry, and transitivity
A)
S = Q
X p Y <-> ABS(X) <= ABS(Y)
B)
S = Z
X p Y <-> x -y is an integral multiple of 3
C)
S = N
X P Y <-> X is odd
D)
S = Set of all squares in the place
S1 p S2 <-> length of side of S1 = length of side S2
E)
S = set of finite-length strings of characters
X p Y <-> number of characters in x = number of characters in y
This shows how to test binary relations on S for reflexivity, symmetry ,antisymmetry, and transitivity