Well-OrderingsA binary relation r o

Well-Orderings
A binary relation r on a set w is called a well-ordering if it is a partial order such that every non-empty
subset has a smallest element. Because any pair has a minimum, r is actually a total order. Instead
of (c, d) ∈ r one writes c ≤ d. Actually, for well-orderings one prefers the irreflexive or strict version
of r. If r is a partial order then one has
(

ผลลัพธ์ (ไทย) 1:

ดี-OrderingsR เป็นความสัมพันธ์ไบนารีบน w กำหนดคือถ้าสั่งห้องพักเป็นใบบางส่วนให้ทุกไม่ว่างชุดย่อยมีองค์ประกอบเล็กที่สุด เนื่องจากคู่ใด ๆ อย่างน้อย r เป็นจริงใบสั่งรวม แทนของ (c, d) ∈ r หนึ่งเขียน d. c ≤จริง สำหรับดี orderings หนึ่งต้องรุ่น irreflexive หรือเข้มงวดของ r ถ้า r เป็นใบสั่งเป็นบางส่วน แล้วมี(

ผลลัพธ์ (ไทย) 2:

ดี orderings
ฐานความสัมพันธ์อาร์เกี่ยวกับ W ชุดที่เรียกว่ามีการสั่งซื้อถ้ามันเป็นคำสั่งซื้อบางส่วนดังกล่าวว่าทุกคนที่ไม่ว่างเปล่า
ย่อยมีองค์ประกอบที่เล็กที่สุด เพราะคู่ใดที่มีขั้นต่ำ r คือจริงยอดสั่งซื้อ แต่
ของ (C, D) ∈ R หนึ่งเขียนค≤ d ที่จริงแล้วสำหรับดี orderings หนึ่งชอบรุ่น irreflexive หรือเข้มงวด
ของอา ถ้า r คือการสั่งซื้อบางส่วนจากนั้นหนึ่งมี
(

ผลลัพธ์ (ไทย) 3:

อย่างง่ายด้วย
r ความสัมพันธ์ทวิภาคในชุด W เรียกว่าดีสั่งถ้ามันเป็นบางส่วน เพื่อที่ทุกไม่ว่าง
ย่อยมีองค์ประกอบที่เล็กที่สุด . เพราะ คู่ใดมีขั้นต่ำ , R เป็นสั่งซื้อรวม แทน
( C , D ) ∈ R หนึ่งเขียน C ≤ D ที่จริงสำหรับอย่างง่ายก็ชอบ irreflexive หรือเข้มงวดรุ่น
R . ถ้า r เป็นลำดับบางส่วนก็มี
(