Relations and Functions
From Suhrid.net Wiki
Relations
- An ordered pair (a,b) consists of two elements.
- In Z, ordered pairs are represented using the maplet notation: a ⟼ b
- The cartesian product, A X B is the set of all ordered pairs of A and B.
- A binary relation between A and B is any subset of A X B.
- Thus a relation R is given by R: P(A X B). R is a member of the powerset of the cartesian product of A and B.