Characteristic of potentially characteristic implies potentially characteristic

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

Statement

Verbal statement

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