一、二元关系的定义

  定义10.1.1 对集合ABA×B 的任一子集称为AB的二元关系。一般记作R,若,可记作;若,可记作,在A=B时,A×A的任一子集称为A上的一个二元关系,二元关系可简称关系。
  例1
  例2
  例3
  定义10.1.2 若n个集合,则的任一子集称为从上的一个n元关系。