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