lexicographic order

danh từ (noun)

Nghĩa chính

Về mặt hình thức, cho hai tập thứ tự từng phần A và B, thứ tự ≤ trên tích Descartes A × B sao cho (a,b) ≤ (a′,b′) khi và chỉ khi a < a′ hoặc (a = a′ và b ≤ b′)danh từFormally, given two partially ordered sets A and B, the order ≤ on the Cartesian product A × B such that (a,b) ≤ (a′,b′) if and only if a < a′ or (a = a′ and b ≤ b′).
Cho các tập hợp (A₁, A₂, ..., Aₙ) và tổng thứ tự của chúng (<₁, <₂, <ₙ), thứ tự <ᵈ của A₁ × A₂ × ... × Aₙ sao cho (a₁, aₙ) <ᵈ (b₁,b₂, bₙ) iff (∃m > 0) (∀ i < m) (aᵢ = bᵢ ) và (aₘ <ₘ bₘ )danh từGiven sets (A₁, A₂, ..., Aₙ) and their total orderings (<₁, <₂, ..., <ₙ), the order <ᵈ of A₁ × A₂ × ... × Aₙ such that (a₁, a₂, ..., aₙ) <ᵈ (b₁,b₂, ..., bₙ) iff (∃m > 0) (∀ i < m) (aᵢ = bᵢ ) and (aₘ <ₘ bₘ )

theo quy tắc (regular)