Cartesian product/Definition

The set of ordered pairs whose elements come from two given sets.