Декартово произведение

Пусть \(X\) и \(Y\) – непустые множества, тогда декартовым произведением этих множеств называют называют множество всех упорядоченных пар. Причём первый элемент пары всегда принадлежит \(X\), а второй \(Y\).