Re: Questions on set relations

I meant..

> Let me get this straight.  Suppose I have choose (-3,3) as my
> arbitrary pair (x,y), which satifisy the premise (x+y=0).
> From the symmetric definition which have ( x+y =0 v x-y=0)-->(y+x =0 v
> y-x=0) then the implication is true
> since for pair (y,x) it satisfy (y+x=0) or (3+-3=0) which is part one of
> the conclusion...
>
> And that is enough to show symmetry. So unlike reflexive, i do not
> have to show for every value of x, in here, i just choose one
> arbitrary pair and show that the implication is true.
>
> Does this sound like I understand you correctly?
> Thank you.