Relationships




Parents 
inheritable relation 
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.


relation 
The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered ntuples. The difference between these two Classes is that Predicates cover formulaforming operators, while Functions cover termforming operators.

Children 
partial ordering relation  A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation. 
 unit of measure multiplier  Each instance of this Class is a UnaryFunction that, when evaluated on its single argument, a UnitOfMeasure, produces another UnitOfMeasure that is a numeric multiple of the argument. 