Type to describe relational order between values
Source position: math.pp line 144
type TValueRelationship = - 1..1;