Characteristic of potentially characteristic implies potentially characteristic

This article describes a computation relating the result of the Composition operator (?) on two known subgroup properties , to another known subgroup property
View a complete list of composition computations

Statement

Verbal statement

Any characteristic subgroup of a potentially characteristic subgroup is potentially characteristic.