A subgroup of a group is fully invariant if for all endomorphisms . Such a subgroup is also called fully characteristic.
This is a stronger condition than being a characteristic subgroup.
The derived subgroup is fully invariant.