complement

Deductions

• difference is subclass of complement ⇐ (identity is subclass of complement), (identity is opposite of difference)
• unary operation is for example complement ⇐ (complement is a unary operation), (is a is inverse of is for example)
• identity is subclass of complement ⇐ (other is subclass of complement), (other is opposite of identity)