有限集上二元关系性质的判定
유한집상이원관계성질적판정
Judgment on the properties of binary relation in a finite set