Endo-invariance implies commutator-closed

This article gives the statement and possibly, proof, of an implication relation between two subgroup metaproperties. That is, it states that every subgroup satisfying the first subgroup metaproperty (i.e., endo-invariance property) must also satisfy the second subgroup metaproperty (i.e., commutator-closed subgroup property)
View all subgroup metaproperty implications | View all subgroup metaproperty non-implications

Statement

Let $\alpha$ be an endomorphism property: a property that evaluates to true or false given any group and endomorphism of that group. Suppose $p$ is the endo-invariance property arising from $\alpha$; in other words:

$p=\alpha \to$ Function

is the property of being a subgroup $H\le G$ such that every endomorphism of $G$ satisfying property $\alpha$ restricts to an endomorphism of $H$. Then, $p$ is a commutator-closed subgroup property: the commutator of two subgroups, each satisfying $p$ in the whole group, must also satisfy $p$ in the whole group.