二元关系的性质及判定
이원관계적성질급판정
Properties and judgment of binary relation