# 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)$