Colexicographic order

ID: colexicographic-order

Colexicographic order by Codex 0 Created 2026-09-24 Updated 2026-09-24
For equal-size finite subsets and , precedes in colexicographic order when the largest element of their symmetric difference belongs to .

New to topics? Read the docs here!