Involucio estas ĉiu funkcio f sur aro A tia, ke
Alivorte, la rezulto de sinsekva duobla apliko de transformo estas la origina valoro de argumento.
Ŝablono:Ĝermo