|
|
|
|
|
by adrian_b
15 days ago
|
|
The standard 6 relational operators that are sufficient for a totally ordered set are: <, >, <=, >=, = and <>. The last is "less or greater", as used in BASIC and SQL, instead of "not equal". In a partially ordered set, their 6 negations are distinct relations, so 6 + 6 makes 12 relational operators. The last 2 relational operators of the 14 are "less or equal or greater", which could be written "<=>" or ">=<", together with its negation (which is true when one of the operands is a NaN). |
|