共1个集合二元关系性质的判定相关