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.