完全関係

ウィキペディア

完全関係

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/05/24 19:23 UTC 版)

完全関係（英: Total relation）とは、数学における二項関係の一種。集合 X における二項関係 R が「完全」であるとは、X に属する全ての a および b について、aRb かbRa が成り立つ（あるいは両方成り立つ）ことをいう。

数学的に記述すると次のようになる。

$\forall a,b\in X,\ aRb\lor bRa.$