集合上的二元关系.假设R是集合X上的一个二元关系.那么是不是X中的任意元素x,都存在y属于X,