Hi,


I'm learning about relations on sets, and I'm trying to figure out what exactly antisymmetric means. 
The way we represent a relation is like a adjacency matrix. In my textbook I see that symmetric relation is symmetrical with respect to the diagonal (of the adj. matrix) and that is logical to me, but they also mention that an antisymmetric relation is a relation with members on only one side of the diagonal. This does not make sense to me.
I agree that the relations with members only above the diagonal are indeed antisymmetric but not all antisymmetric need to be like that.


Since the condition for antisymmetric is: (x,y)eR and (y,x)eR implies x = y.
If I understand this correctly than a relation like this is antisymmetric:
R = { (0,0), (1,1), (2,2), (2,0), (1,2) } on set X = { 0, 1, 2 }.


Am I misunderstanding something?



Graphic representation of an antisymmetric relation on a set
The "A beats B in roshambo" relation is antisymmetric in your sense. There does not exist a permutation of the set {rock, paper, scissors} for which the adjacency matrix is supported above the diagonal. So you are correct and your textbook is wrong.


For future reference, this question and related ones are probably better suited at [math.SE](http://math.stackexchange.com), because it is about homework/textbook question rather than about research mathematics. I have left this answer as an answer rather than a comment so that the question can be removed from the front page without all the "close as inappropriate" stuff that we usually go through.


