二元关系

【格与代数系统】偏序关系、偏序集与全序集关系：X,Y是两个非空集合, 记若则称R是X到Y的一个二元关系，简称关系。若,记。当时，称是上的一个关系。