Definition 1.2.1: Relation
Let A and B be two sets. A relation between
A and B is a collection of ordered pairs (a,b) such that
a A and
b B. Often we use the notation
a ~ b to indicated that a and b are related, rather then the order pair
notation (a,b).