Arc Forumnew | comments | leaders | submitlogin
2 points by shader 5145 days ago | link | parent

Involution is more strict than the square being idempotent; it also must be the identity function. I.e. abs^2 is idempotent but abs itself is not involutary, since abs^2(-1) = 1 != -1