Group property-extensibility operator

Definition
Let $$\phi$$ be a group property. An automorphism of a group $$G$$ satisfying $$\phi$$ is said to be $$\phi$$-extensible if for any $$H$$ containing $$G$$ and satisfying $$\phi$$, the automorphism can be extended to an automorphism of $$H$$.