全關係 在數學中集合X上的一個二元關係R是全關係total relation若其滿足對所有屬於X的a和ba关系到b 或b关系到a 可用符號表示为  a  b  X    a R b  b R a displaystyle forall abin X aRblor bRa 上述性質一般也稱為完全性totality