查看“全關係”的源代码

{{Distinguish2|[[二元关系#特殊的二元关系|'''完全關係''']]}}

在[[數學]]中，[[集合]]''X''上的一個[[二元關係]]''R''是'''全關係'''（{{lang|en|total relation}}），若其滿足：「對所有[[屬於關係 (集合論)|屬於]]''X''的''a''和''b''，''a''关系到''b'' [[邏輯或|或]]''b''关系到''a''。」

可用符號表示为：
:<math>\forall a, b \in X,\ a R b \lor b R a</math>

上述性質一般也稱為'''完全性'''（{{lang|en|totality}}）。

==實例==
[[实数|實數集]]上的「小于等于」是一個全關係，而「嚴格小于」則不是。

[[整除]]不是一個全關係，因為[[整数]]6和8都不能整除對方。

==特性==
完全性蘊涵[[自反關係|自反性]]。

滿足[[傳遞關係|傳遞性]]的全關係是[[弱序關係]]。滿足完全性的[[偏序關係]]是[[全序關係]]。

{{math-stub}}
[[Category:数学关系]]