A well-quasi-order < is a reflexive

A well-quasi-order < is a reflexive-transitive binary relation that has on infinite descending sequence 1>2>... And no infinite antichains of incomparable elements.

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

ความดีเสมือนสั่ง <เป็นความสัมพันธ์แบบไบนารีสกรรมกริยาสะท้อนกลับที่มีอนันต์เรียงลำดับ 1 > 2 > ... และ antichains อนันต์ไม่เข้าองค์ประกอบ

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

ดีเสมือนสั่ง <เป็นฐานความสัมพันธ์สะท้อน-สกรรมกริยาที่มีในลำดับถัดลงไม่มีที่สิ้นสุด 1> 2> ... และไม่มี antichains ที่ไม่มีที่สิ้นสุดขององค์ประกอบที่เปรียบมิได้

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

ดีค่าคำสั่ง < เป็นการสะท้อนความสัมพันธ์ทวิภาคที่มีที่ลงลำดับอนันต์ 1 > 2 > . . . . . . . และไม่มีอนันต์ antichains ขององค์ประกอบที่หาตัวจับยาก