## 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).