Декартовим добутком множин X та У називається множина усіх впорядкованих пар (х, у), де х Є X, у Є У.
В символічному запису це означення має вигляд:
X хУ <Ш>{(х,у):хєХ,уєУ}.
Приклад. Нехай X = {1,2}, У = {а,Ь,с}.
Тоді X х У = {(1, а), (1,6), (1, с), (2, а), (2, Ь), (2,с)}. Число елементів в множині X х У дорівнює 6.