自反性

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