离散数学中,反自反的定义问题书上的定义是:设R是集合X上的二元关系,如果对任意x∈X,必有“R不是x的二元关系”(x\R