Normal-to-characteristic subgroup property

Symbol-free definition
A subgroup property is said to be normal-to-characteristic if its logical conjunction with the subgroup property of being normal is the subgroup property of being characteristic.

In other, words, a subgroup property is said to be normal-to-characteristic if every normal subgroup satisfying the property must be characteristic.