离散数学-集合-关系

集合 是由确定的对象（客体）构成的集合。用大写的英文字母表示。
确定，是指论域里任何客体，要么属于这个集合，要么不属于这个集合，是唯一确定的。

设R是定义在集合X上的关系，如果对于每一个X的元素x，有xRx（(x,x)属于关系R），则称二元关系R是自反的。