The complement of a subset of a given set is the collection of all elements of the set that are not elements of the subset.