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