Прямое произведение (декартово произведение)

множество M1 × M2 = {(x1, x2) : x1 ∈ M1 и x2 ∈ M2}, образованное при помощи двух данных множеств M1 и M2 (компонент прямого произведения), т. е. множество всех таких пар (x1, x2), в которых x1 ∈ M1 и x2 ∈ M2 ; в случае любого конечного набора множеств M1, M2, ... , Mn их прямое произведение M1 × M2 × · · · × Mn определяется как множество всех таких кортежей (x1, x2, ... , xn), в которых при каждом k = 1, 2, ... , n имеет место xk ∈ Mk