二元关系

二元关系，是一个有序对集合，设集合A,B，记作xRy，二元关系的定义域：Dom(R) ； 二元关系的值域：Ran(R)。