Codex > Functions (Set Theory)
🅟 Apr 18, 2026
🅤 Apr 18, 2026
DEF-IVO:Involution An involutory function / involution is a function $f:X\to Y$ such that \[f(f(x)) = x\] for all $x\in X$.
DEF-IVO:Involution
An involutory function / involution is a function $f:X\to Y$ such that
for all $x\in X$.