For any strict partially ordered se

For any strict partially ordered set (S,

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

ใด ๆ เข้มงวดบางส่วนสั่งซื้อชุด (S, <), กราฟความของ (S, <) กราฟ (S ⊥) ซึ่งจุดยอดมีองค์ประกอบของ S และขอบ ที่คู่ {u, v } ขององค์ประกอบดังกล่าวที่ u < v นั่นคือ ชุดบางส่วนสั่ง ใช้กราฟ acyclic โดยตรง ใช้ปิดสกรรมกริยา และเอาแนวออก

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

สำหรับการใด ๆ ชุดที่เข้มงวดได้รับคำสั่งบางส่วน (S <) กราฟเปรียบเทียบของ (S <) เป็นรูปแบบของกราฟ (S, ⊥) ซึ่งจุดที่มีองค์ประกอบของ S และขอบที่มีคู่เหล่านั้น {u, วี} ของ องค์ประกอบดังกล่าวว่ายู <v. นั่นคือสำหรับส่วนชุดที่สั่งใช้ชี้นำวัฏจักรกราฟที่ใช้ปิดสกรรมกริยาและลบการวางแนวทาง

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

สำหรับการใด ๆที่เข้มงวดเซตอันดับบางส่วน ( S , < ) , ไม่สามารถเปรียบเทียบกราฟ ( S , < ) เป็นกราฟ ( S , ⊥ ) ซึ่งเป็นองค์ประกอบของจุดยอดและขอบเป็นคู่ { U , V } ขององค์ประกอบเช่น U < V คือสำหรับเซตอันดับบางส่วนเอากราฟอวัฏจักรระบุทิศทาง ใช้การปิดและลบเป้าหมาย