ในทางคณิตศาสตร์ โดยเฉพาะกับทฤษฎีเซต เซตอันดับสองเซต X, Y จะกล่าวว่ามี ภาวะเชิงอันดับที่ (อังกฤษ: order type, ordinality) เท่ากัน ก็ต่อเมื่อเซตทั้งสองสมสัณฐานเชิงอันดับ (order isomorphic) นั่นคือ มีฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง (bijection) f : X → Y อย่างน้อยหนึ่งฟังก์ชัน ที่ทั้ง f และ f −1 เป็นฟังก์ชันทางเดียว (monotone function) (ยังคงเรียงตามลำดับ)ตัวอย่างเช่น เซตของจำนวนเต็มและเซตของจำนวนคู่ มีภาวะเชิงอันดับที่เท่ากัน เพราะว่าการจับคู่ n ↦ 2n ยังคงเรียงตามลำดับ แต่เซตของจำนวนเต็มกับเซตของจำนวนตรรกยะไม่สมสัณฐานเชิงอันดับ ถึงแม้ว่าจะมีขนาดเท่ากัน เพราะไม่มีการจับคู่แบบหนึ่งต่อหนึ่งทั่วถึงที่ยังคงเรียงตามลำดับระหว่างสองเซตนั้นอันเนื่องจากความเทียบเท่าเชิงอันดับเป็นความสัมพันธ์สมมูล (equivalence relation) มันจึงแบ่งคลาสของเซตทั้งหมด ให้เป็นคลาสที่สมมูลกันหลายคลาส