离散数学5.1-二元关系一