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