This is an old revision of the document!

Involution

Set

 context $X$ … set
 definiendum $f\in \mathrm{it}(X,X)$
 postulate $f:X\to X$ postulate $f\circ f=\mathrm{id_X}$