Subgroup of prime characteristic

Definition with symbols
A subgroup $$H$$ of a group $$G$$ is said to be of characteristic $$p$$ for a prime $$p$$ if $$H$$ is a $$p$$-local subgroup of $$G$$ such that $$C_H(O_p(H))$$ is contained in $$O_p(H)$$.