一、基本概念 序偶 <x,y> n重有序组 <a,b,c,d,e······> 笛卡尔积 A,B元素间的所有关系(序偶) 二元关系(关系):A*B的任意子集(序偶的集合) A为R的前域 B为R的后域 C为R的定义域:C=domR D为R的值域:D=ranR R的域:fldR = domR U ranR = C U D 布尔积 两矩阵相乘,只要结果不为0,就为1