Etymology

Today it means: Pertaining to a generalization of alphabetical order applied to sets such that, for each pair of sets, their relative ordering is the order obtained if you remove their common (shared) elements and compare the last element in each remaining subset. Full definition →