Go backward to Example Go up to Top Go forward to Representation of Relations (Continued) |
Predicate definition:
R(x, y) : <=> x in N /\ y in N /\ x < y < 5
Set quantifier:
R := {<x, y>: x in N /\ y in N /\ x < y < 5}
Set enumeration:
R = {<0, 1>, <0, 2>, <0, 3>, <0, 4>, <1, 2>, <1, 3>, <1, 4>, <2, 3>, <2, 4>, <3, 4>}.