Definition:Relational Loop

Definition
Let $\prec$ denote a relation. Let $A_1,A_2\dots A_n$ denote sets.

A relational loop takes the form:


 * $\displaystyle ( 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 )$