Определение

Декартовым произведением множеств и называется множество то есть множество пар, в которых первый элемент берётся из множества , а второй – из множества .