term

Deductions

• term has quality set ⇐ (relation is subclass of set), (term has quality relation)
• term has quality relation ⇐ (mathematical property is subclass of relation), (term has quality mathematical property)
• term has quality mathematical property ⇐ (term is subclass of mathematical object), (mathematical object has quality mathematical property)
• term has quality superclass ⇐ (term is subclass of mathematical object), (mathematical object has quality superclass)
• antecedent is a term ⇐ (consequent is a term), (consequent is opposite of antecedent)