inequation Deductions inequation is subclass of formula ⇐ (equation is subclass of formula), (equation is opposite of inequation) inequation is opposite of equation ⇐ equation is opposite of inequation