ความรักเป็น binary relation บนเซตมนุษย์โลกครับ a R b แปลว่าคุณ a รักคุณ b a R a แปลว่าทุกคนรักตัวเอง เพราะงั้นความรักเป็น reflexive ถ้า a R b แล้ว b R a หรือ b ~R a ก็ได้ เพราะฉะนั้นความรักไม่ symmetric ถ้า a R b และ b R c แล้ว a R C คงจะแปลกๆนะ c เป็นชู้กับทั้ง a และ b เลย ยิ่งเมื่อพิจารณาว่า ถ้า a R b แล้ว a น่าจะมีเพศต่างกับ b ดังนั้นความรักไม่ควรจะเป็น transitive หึหึ