Direct factor sub-IAPS

Definition
A sub-IAPS of an IAPS of groups is termed a direct factor if there exists another sub-IAPS such that the whole IAPS is the internal direct product of the two sub-IAPSes.

Weaker properties

 * Saturated normal sub-IAPSes