Tieredordered
Tieredordered is a term used to describe a structured ordering in which elements are partitioned into discrete tiers or levels, and an explicit order is maintained within each tier. In a tieredordered system, the primary criterion for comparing two elements is their tier; elements in lower-numbered tiers come before those in higher-numbered tiers. If two elements share the same tier, a secondary, intra-tier order determines their relative position. The concept is a natural generalization of lexicographic order, combining a tier function with an internal comparator.
Formalization: Let X be a set, T: X -> {1,...,k} assign a tier to each element, and ≤i
Applications: tieredordered structures appear in data sorting, priority-based task queues, and user interfaces that present items
Examples: A to-do list may label tasks with tiers 1–3 by urgency; within each tier tasks are
See also: lexicographic order, hierarchical ordering, multi-criteria sorting, posets.