Множество, элементами которого являются все возможные упорядоченные пары элементов исходных множеств.