自反性,令C={(x,y)|x、y属于A},设D是C的某非空子集,如果(x,y)属于D,则称x,y有(由D规定的)关系,记为x ~ y。(符号(*,*)表示两者组成的有序对)。
本词条最后更新于 2026-07-01 02:46:11