推移関係
Contents
推移関係とは
推移関係 (英:transitive relation) とは、次式による特徴を持つ二項関係のこと。また推移関係の性質を推移性 (英:transitivity) という。
\[ \begin{gathered} R = (X,X,G) \\ \forall a,b,c\in X~(aRb\land bRc\rArr aRc) \\ \\ \begin{aligned} R &: \text{推移関係} \\ X &: \text{始集合および終集合} \\ G &: \text{グラフ} \\ \end{aligned} \end{gathered} \]