A x B = {(a, b) : a in A, b in B}. |A x B| = |A| * |B|. A relation R from A to B is any subset of A x B. The total number of relations from A to B is 2^(|A|*|B|) (each ordered pair is either in R or not). A relation on set A means R is a subset of A x A.