NCT-subgroup property

Symbol-free definition
A subgroup property is said to be NCT if it satisfies all the following conditions:


 * It is trivially true
 * The only normal subgroup of a group that satisfies it is the trivial subgroup

Instances
The property of being a core-free subgroup, for instance, is a NCT-subgroup property.

Opposite metaproperties
An NCT-closed subgroup property cannot be normal closure-closed. Hence, in particular it cannot be join-closed.