Theorems

SET EQUALITY THEOREMOpen article

Two sets are equal if and only if each of them is a subset of the other.

SET UNION DECOMPOSITION THEOREMOpen article

The union of two sets can be decomposed into elements that belong only to the first set, only to the second set, and to both sets.