The property that determines that a given class is the complement of another class.