PartialComparison:
    | -1
    | 0
    | 1
    | NaN

The result of a PartialCompare function that defines a meaningful and meaningfully precise partial order in which incomparable values are represented by NaN. See PartialCompare.