Saturated normal sub-APS

Definition
A sub-APS $$H$$ of an APS of groups $$(G,\Phi)$$ is termed a saturated normal sub-APS if it is both saturated and normal. Equivalently, the quotient APS is an IAPS of groups.

Also refer saturated normal sub-IAPS.