Deductions
- Cartesian product has quality class ⇐ (abstract entity is a class), (Cartesian product has quality abstract entity)
- Cartesian product is part of list of types of sets ⇐ (Cartesian product is part of power set), (power set is part of list of types of sets), (is part of is a transitive relation)
- ordered pair is part of Cartesian product ⇐ (ordered pair is part of binary relation), (binary relation is part of Cartesian product), (is part of is a transitive relation)
- Cartesian product has quality abstract entity ⇐ (arity is a abstract entity), (Cartesian product has quality arity)
- Cartesian product has quality entity ⇐ (taxonomic rank is a entity), (Cartesian product has quality taxonomic rank)
- Cartesian product has quality mathematical object ⇐ (arity is a mathematical object), (Cartesian product has quality arity)
- Cartesian product has quality existence ⇐ (Cartesian product is subclass of abstract entity), (abstract entity has quality existence)
- Cartesian product has quality superclass ⇐ (Cartesian product is subclass of abstract entity), (abstract entity has quality superclass)
- Cartesian product has quality taxonomic rank ⇐ (Cartesian product is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- set operation is for example Cartesian product ⇐ (Cartesian product is a set operation), (is a is inverse of is for example)
- operation is for example Cartesian product ⇐ (Cartesian product is a operation), (is a is inverse of is for example)
- Cartesian product is subclass of abstract entity ⇐ (Cartesian product is subclass of set), (set is subclass of abstract entity), (is subclass of is a transitive relation)
- Cartesian product is subclass of entity ⇐ (Cartesian product is subclass of set), (set is subclass of entity), (is subclass of is a transitive relation)
- Cartesian product is subclass of class ⇐ (Cartesian product is subclass of relation), (relation is subclass of class), (is subclass of is a transitive relation)
- Cartesian product is subclass of mathematical object ⇐ (Cartesian product is subclass of relation), (relation is subclass of mathematical object), (is subclass of is a transitive relation)
- Cartesian product is subclass of set ⇐ (Cartesian product is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
- Cartesian product is a operation ⇐ (set operation is subclass of operation), (Cartesian product is a set operation)
- Cartesian product has quality number of entities ⇐ (arity is subclass of number of entities), (Cartesian product has quality arity)