Strong formula automorphism

Definition
An automorphism of an algebra in a variety of algebras is a formula automorphism whose inverse is also a formula automorphism.

For groups
Strong formula automorphisms in the case of groups are called strong monomial automorphisms.

Stronger properties

 * Weaker than::I-automorphism:

Weaker properties

 * Stronger than::Formula automorphism
 * Stronger than::IC-automorphism