#?SuikaWiki/0.9
[1] [DFN[推移性]]:
[CODE(math)[(∀[VAR[x]] ∈ [VAR[X]]) (∀[VAR[y]] ∈ [VAR[X]]) (∀[VAR[z]] ∈ [VAR[X]]) ([VAR[x]] [VAR[R]] [VAR[y]] ∧ [VAR[y]] [VAR[R]] [VAR[z]] ⇒ [VAR[x]] [VAR[R]] [VAR[z]])]]