Share
Explore BrainMass

Relations

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

Solution Summary

This shows how to test binary relations on S for reflexivity, symmetry ,antisymmetry, and transitivity

$2.19