order (229B)
1 # Order 2 3 - [partial_order] 4 - [total_order] 5 - [inequality_mathematics] 6 - [linear_extension], see also [topological_sort] 7 - [well_quasi_ordering] 8 - [upper_bound] / [lower_bound] 9 10 Up: [mathematics] 11 12 Aliases: order relation, ordered