logic: class and complements

a class is a collection of all objects having a certain common attribute that we may refer to as a "class-defining characteristic."

complement is the class of all things not belonging to the original class.