离散数学,二元关系的性质