The document defines universal sets, subsets, and proper subsets. A universal set contains all elements being considered, while a subset contains elements that are also in the universal set. A proper subset is a subset where the universal set has at least one element not in the subset. The number of subsets of a set is equal to 2 to the power of the number of elements in the set.