set-theory Definition Complement Given a fixed universe U (set) of possible elements, then the complement of a set S⊆U is: Sc=U∖S={x∈U∣x∈S}