Deductions
- mathematical concept has quality type ⇐ (mathematical concept has quality class), (class has quality type), (has quality is a transitive relation)
- mathematical concept has quality type of property ⇐ (mathematical concept has quality class), (class has quality type of property), (has quality is a transitive relation)
- mathematical concept has quality criterion ⇐ (mathematical concept has quality class), (class has quality criterion), (has quality is a transitive relation)
- mathematical concept has quality quality ⇐ (mathematical concept has quality class), (class has quality quality), (has quality is a transitive relation)
- mathematical concept has quality property ⇐ (mathematical concept has quality class), (class has quality property), (has quality is a transitive relation)
- mathematical concept has quality class ⇐ (set is a class), (mathematical concept has quality set)
- mathematical concept is for example boundary ⇐ (boundary is a mathematical concept), (is a is inverse of is for example)
- boundary is a mathematical concept ⇐ (topological property is subclass of mathematical concept), (boundary is a topological property)
- topological property is subclass of mathematical concept ⇐ (topological property is subclass of invariant), (invariant is subclass of mathematical concept), (is subclass of is a transitive relation)
- mathematical concept has quality class ⇐ (quality is a class), (mathematical concept has quality quality)
- mathematical concept has quality type ⇐ (mathematical concept has quality class), (class has quality type), (has quality is a transitive relation)
- mathematical concept has quality type of property ⇐ (mathematical concept has quality class), (class has quality type of property), (has quality is a transitive relation)
- mathematical concept has quality criterion ⇐ (mathematical concept has quality class), (class has quality criterion), (has quality is a transitive relation)
- mathematical concept has quality quality ⇐ (mathematical concept has quality class), (class has quality quality), (has quality is a transitive relation)
- mathematical concept has quality property ⇐ (mathematical concept has quality class), (class has quality property), (has quality is a transitive relation)
- mathematical concept has quality class ⇐ (set is a class), (mathematical concept has quality set)
- mathematical concept has quality abstract entity ⇐ (set is a abstract entity), (mathematical concept has quality set)
- mathematical concept has quality entity ⇐ (taxonomic rank is a entity), (mathematical concept has quality taxonomic rank)
- mathematical concept is for example axiom ⇐ (axiom is a mathematical concept), (is a is inverse of is for example)
- mathematical concept is for example equality ⇐ (equality is a mathematical concept), (is a is inverse of is for example)
- entity is for example mathematical concept ⇐ (mathematical concept is a entity), (is a is inverse of is for example)
- mathematical concept has quality existence ⇐ (mathematical concept is a entity), (entity has quality existence)
- mathematical concept is a entity ⇐ (class is subclass of entity), (mathematical concept is a class)
- equality is a mathematical concept ⇐ (inequality is a mathematical concept), (inequality is opposite of equality)
- class is for example mathematical concept ⇐ (mathematical concept is a class), (is a is inverse of is for example)
- variable-order class is for example mathematical concept ⇐ (mathematical concept is a variable-order class), (is a is inverse of is for example)
- mathematical concept is for example multivalued function ⇐ (multivalued function is a mathematical concept), (is a is inverse of is for example)
- mathematical concept is for example Robbins algebra ⇐ (Robbins algebra is a mathematical concept), (is a is inverse of is for example)
- mathematical concept is for example sigma subadditivity ⇐ (sigma subadditivity is a mathematical concept), (is a is inverse of is for example)
- mathematical concept is for example function ⇐ (function is a mathematical concept), (is a is inverse of is for example)
- mathematical concept is for example inverse ⇐ (inverse is a mathematical concept), (is a is inverse of is for example)
- mathematical concept is for example element ⇐ (element is a mathematical concept), (is a is inverse of is for example)
- mathematical concept is for example shape ⇐ (shape is a mathematical concept), (is a is inverse of is for example)
- mathematical concept is for example inequality ⇐ (inequality is a mathematical concept), (is a is inverse of is for example)
- mathematical concept is subclass of abstract entity ⇐ (mathematical concept is subclass of concept), (concept is subclass of abstract entity), (is subclass of is a transitive relation)
- mathematical concept is subclass of entity ⇐ (mathematical concept is subclass of concept), (concept is subclass of entity), (is subclass of is a transitive relation)
- mathematical concept is a class ⇐ (variable-order class is subclass of class), (mathematical concept is a variable-order class)
- mathematical concept has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (mathematical concept has quality superclass)
- mathematical concept has quality mathematical object ⇐ (class is subclass of mathematical object), (mathematical concept has quality class)
- mathematical concept has quality class ⇐ (set is subclass of class), (mathematical concept has quality set)
- mathematical concept has quality set ⇐ (extension of a concept is subclass of set), (mathematical concept has quality extension of a concept)
- mathematical concept has quality extension of a concept ⇐ (mathematical concept is subclass of concept), (concept has quality extension of a concept)
- mathematical concept has quality superclass ⇐ (mathematical concept is subclass of concept), (concept has quality superclass)
- multivalued function is a mathematical concept ⇐ (function is a mathematical concept), (function is opposite of multivalued function)