- the collection of all ordered pairs of two given sets such that the first elements of the pairs are chosen from one set and the second elements from the other set: this procedure generalizes to an infinite number of sets.
- the set of all ordered pairs of members of two given sets. The product A × B is the set of all pairs < a, b > where a is a member of A and b is a member of B
