Definition:Idempotence/Relation

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.

Let $\RR \subseteq S \times S$ be a relation on $S$.

Then $\RR$ is idempotent if and only if:

$\RR \circ \RR = \RR$

where $\circ$ denotes composition of relations.


Sources