The Cartesian product AtimesBA \\times BAtimesB contains elements of the form:
Ordered pairs (a,b)(a, b)(a,b) where ainA,binBa \\in A, b \\in BainA,binB
Unordered pairs a,b\\{a, b\\}a,b
Single elements from either set
Sums a+ba + ba+b