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 anti chains of incomparable elements.

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

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

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

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

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

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