The Cartesian product A × B is the set of all ordered pairs (a, b) such that a ∈ A and b ∈ B.
Note: If n(A) = p and n(B) = q, then n(A × B) = pq.
A relation R from set A to set B is a subset of A × B. It is derived by describing a relationship between the first and second elements of ordered pairs in A × B.
Domain: The set of all first elements of the ordered pairs in a relation.
Range: The set of all second elements in a relation.
Codomain: The entire set B. (Note: Range ⊆ Codomain).
A relation f from a set A to a set B is said to be a function if every element of set A has one and only one image in set B.
A curve plotted on a graph represents a function if and only if no vertical line intersects the curve more than once.