zì fǎn xìng · ㄗˋ ㄈㄢˇ ㄒㄧㄥˋ · 更新 2026-06-30 23:18:06
自反性,令C={(x,y)|x、y属于A},设D是C的某非空子集,如果(x,y)属于D,则称x,y有(由D规定的)关系,记为x ~ y。(符号(*,*)表示两者组成的有序对)。