Category talk:MATH 491-205

Transitivity of Relations

Interpret relational operations as follows:

$x_1\odot \dots \odot x_n\to (x_1\odot x_2)\wedge \dots \wedge (x_{n-1}\odot x_n)$