We can form a power set of a set where is shorthand for The unique set is denoted by We can now construct the Cartesian Product of sets