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