Go backward to Example Go up to Top Go forward to Representation of Relations (Continued)

Representation of Relations

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>}.