Декартів добуток множин

прямий добуток двох множин X та Y – це множина усіх можливих впорядкованих пар, у яких перша компонента належить множині X, а друга – множині Y