Ok, I am barely beginning to understand the subject. I understand that the relation ≥ on N(naturals) is reflexive, not symmetric, and transitive. I don't understand why it is transitive though. Can someone explain? Also, I understand why x2 = y2 is reflexive and symmetric, but I don't understand why it is transitive. Please help me out.