自反,反自反,对称,反对称比较严谨的定义是什么?

问题描述:

自反,反自反,对称,反对称比较严谨的定义是什么?
希望能再举例说一下

令C={(x,y)|x、y属于A},设D是C的某非空子集,如果(x,y)属于D,则称x,y有(由D规定的)关系,记为x y.(符号(*,*)表示两者组成的有序对).1.自反:如果(x,x)属于D总成立,则称那个由D规定的关系具有自反性.2.反自...