Definition:Idempotence/Relation

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

Then $\RR$ is idempotent :
 * $\RR \circ \RR = \RR$

where $\circ$ denotes composition of relations.