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

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