(n)Cartesian product, product, direct productthe set of ordered pairs of two given sets