Definition:Idempotence/Relation
< Definition:Idempotence(Redirected from Definition:Idempotent Relation)
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
- 1955: John L. Kelley: General Topology ... (previous) ... (next): Chapter $0$: Relations