设 B 是 A 的子集，如果在 B 中的任意两个元素都具有相容关系，则称 B 为由相容关系 R 产生的相容类。
　　（3）偏序关系与偏序集
　　设 R 是非空集合 A 上的二元关系，如果 R 是自反的、反对称的和传递的，则称 R 是 A 上的偏序关系，记作。
　　设是偏序关系，如果a , b，则记作ab，读作a“小于等于”b。
　　集合 A 和 A 上的偏序关系一起称为偏序集，记作A，。
　　3．函数的有关概念
　　（1）函数
　　对集合 A 到集合 B 的二元关系f，若满足下列条件：
　　1) 对任意aDom(f)，都存在唯一的bRan(f)，使a , bf成立；