恆等關係

恆等關係，指特殊的二元關係設 A 是一個集合，則空集稱作 A 上的空關係稱作 A 上的全域關係稱作 A 上的恆等關係。