order type
释义（英文）
名词 Noun
- (set theory) In the context of sets equipped with an order (especially, the context of totally ordered sets), the characteristic of being a member of some equivalence class of such sets under the equivalence relation "existence of an order-preserving bijection".