equation Deductions inequation is opposite of equation ⇐ equation is opposite of inequation commonality has part equation ⇐ (commonality is subclass of equality), (equality has part equation)