Involution (Operator)

An Operator of period 2, i.e., an Operator $*$ which satisfies $((a)^*)^*=a$.