Added bijection condition to is_involution