Definitions [2]
Given two non-empty sets P and Q. The cartesian product P × Q is the set of all ordered pairs of elements from P and Q, i.e., P × Q = { (p,q) : p ∈ P, q ∈ Q } If either P or Q is the null set, then P × Q will also be empty set, i.e., P × Q = Ø
A relation R from a non-empty set A to a non-empty set B is a subset of the cartesian product A × B. The subset is derived by describing a relationship between the first element and the second element of the ordered pairs in A × B. The second element is called the image of the first element.
The set of all first elements of the ordered pairs in a relation R from a set A to a set B is called the domain of the relation R.
The set of all second elements in a relation R from a set A to a set B is called the range of the relation R. The whole set B is called the codomain of the relation R. Note that range ⊂ codomain.
