Category talk:MATH 491-205

Transitivity of Relations

Interpret relational operations as follows:

$x_{1}\odot \dots \odot x_{n}\quad \rightarrow \quad (x_{1}\odot x_{2})\wedge \dots \wedge (x_{n-1}\odot x_{n})$