KeyComparison: PartialComparison

The result of a KeyCompare function that defines a meaningful and meaningfully precise partial order of Key values. See KeyCompare.