for A being set
for f being Function of A,A st f * f = id A holds
f is involutive