1.2. Relations and Functions
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).