The union of two sets and is the set of elements which are in , in , or in both and . Example: Properties § Commutative: Associative: Distributive: Idempotency: Universal Set: Empty Set: Absorption Law: The union of finite sets is a finite set itself