二元关系(简称关系): 是集合,其元素全是有序对.