Definition:Relational Loop

From ProofWiki
Jump to navigation Jump to search

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