Explore relationships

Weak ordering

Mathematical ranking of a setY indicates that the column's property is always true for the row's term (at the very left), while ✗ indicates that the property is not guaranteedin general (it might, or might not, hold).

Use + to expand a branch. Click a topic name to open its summary.