The complement of a set A with respect to a universal set U is the set of all elements in U that are not in A. It is denoted as A'. The complement of a universal set is the empty set, while the complement of the empty set is the universal set. A set and its complement are disjoint, meaning they have no elements in common.