> Moreover, a decent programming language should have 14 relational operators, to enable the correct use of partially-ordered sets, e.g. also for user-defined data types, not only for floating-point numbers.

Is this a well-known set that I've never heard of? What are the other 8? Subset, superset, structural equality? Logical equivalence?