Set of the ordered pairs such that the first element of the pair is in the first element of the product and the second element of the pair is in the second element of the product.
The set of elements common to two or more sets.