คำถามก็คือว่าความมีเหตุผลนั้นมีนัยโดยความต่อเนื่องและการพูดซ้ำซาก เพื่อแสดงให้เห็นว่านี่ไม่ใช่กรณีตัวอย่างแบบโต้ตอบก็เพียงพอแล้ว ดังนั้นเราจึงมองหาความสัมพันธ์ที่ชอบด้วยความอยุติธรรม, ไม่สมบูรณ์, โมโนโทน, ต่อเนื่อง
สมมติว่า } ดังนั้นเราในรูปแบบการตั้งค่ากว่าจุดที่เส้นจาก( 0 , 1 )เพื่อ( 1 , 0 ) พิจารณาความสัมพันธ์ของการตั้งค่าที่กำหนดโดย( 1 , 0 ) ≻ ( .5 , .5 ) ≻ ( 0 , 1 ) ≻ ( 1 , 0X= { x ≥ 0 , y≥ 0 : x + y= 1 }( 0 , 1 )( 1 , 0 )ซึ่งไม่สมบูรณ์เป็นอย่างอื่น( 1 , 0 ) ≻ ( .5 , .5 ) ≻ ( 0 , 1 ) ≻ ( 1 , 0 )
ความมีเหตุผล
ความเป็นเหตุเป็นผลประกอบด้วยความสมบูรณ์และความแปรปรวนของความสัมพันธ์ที่ชอบกำหนดไว้ดังนี้:
ความสมบูรณ์
การตั้งค่าความสัมพันธ์เสร็จสมบูรณ์ถ้าสำหรับทั้งหมดเรามีx ≿ y , y ≿ xหรือทั้งสองอย่างx , y∈ Xx ≿ yY≿ x
จึงมีความสัมพันธ์การตั้งค่ายังไม่สมบูรณ์( 0.5 , 0.5 ) ≿ ̸ ( 0.5 , 0.5 )
กริยา
การตั้งค่าความสัมพันธ์ที่เป็น transitive ถ้าและY ≿ Zบ่งบอกx ≿ Zx ≿ yY≿ zx ≿ z
และ ( 0.5 , 0.5 ) ≿ ( 0 , 1 )ถือ แต่ ( 1 , 0 ) ≿ ̸ ( 0 , 1 )จึงมีความสัมพันธ์การตั้งค่าที่ไม่ได้เป็นสกรรมกริยา( 1 , 0 ) ≿ ( .5 , .5 )(.5,.5)≿(0,1)(1,0)≿̸(0,1)
ความต่อเนื่อง
การตั้งค่าความสัมพันธ์อย่างต่อเนื่องถ้าลำดับทั้งหมดบรรจบ( x , Y )กับ∀ ฉัน: x ฉัน ≿ Y ฉันเรามีx ≿ Y(xi,yi)∞i=1(x,y)∀i:xi≿yix≿y
ความสัมพันธ์ที่ต้องการไม่ละเมิดความต่อเนื่อง พิจารณาลำดับที่ลู่ไปx , y ที่ ลำดับเหล่านี้เท่านั้นที่สามารถเป็นเช่นนั้นx ฉัน = xและy ที่ฉัน = Yและx ≠ ปีตั้งแต่อื่น ๆ ทั้งหมดx ฉัน , y ที่ฉันจะทำไม่ได้มาบรรจบกันเพื่อx , Yหรือไม่ปฏิบัติตามx ฉัน ≿ Yฉัน แต่ชัดเจนถ้าx i ≿ yxi≿yix,yxผม= xYผม= yx ≠ yxผม, yผมx , yxผม≿ yผมแล้ว x ≿ Yxผม≿ yผมx ≿ y
monotonicity
การตั้งค่าความสัมพันธ์ที่เป็นเสียงเดียวถ้าหมายถึงx ≿ Yx ≥ yx ≿ y
สัมพันธ์พิจารณาองค์ประกอบทั้งหมดของXที่เปรียบมิได้ทำให้ความสัมพันธ์การตั้งค่าเป็นเสียงเดียว≥X
ดังนั้นเราจึงมีความสัมพันธ์ที่ไม่สอดคล้องกันอย่างไม่แน่นอนโมโนโทนและต่อเนื่อง