由定义2.1,得出: 1)二元关系是集合; 2)二元关系的元素是有序对 由定义2.1，得出：  1）二元关系是集合；  2）二元关系的元素是有序对