Basics

If A and B two sets

• A ｘ B, products of the two sets, (a, b) where a in A and b in B.
• A ⌴ B, disjoint union of the two sets, mutually exclusive set of pairs (a, 1) and (b, 1), where a in A and b in B.

Logic