Symmetric Closure is Closure Operator

From ProofWiki
Jump to: navigation, search

Definition

Let $S$ be a set.

Let $R$ be the set of all endorelations on $S$.


Then the symmetric closure operator is a closure operator on $R$.


Proof