Definition:Relational Loop

Definition
Let $\prec$ be a relation.

Let $A_1, A_2, \ldots A_n$ denote sets.

A relational loop takes the form:


 * $\left({A_1 \prec A_2 \land A_2 \prec A_3 \dots \land A_{n-1} \prec A_n \land A_n \prec A_1}\right)$

Also see

 * Foundational Relation has no Relational Loops