I-perfect IAPS

Definition
An IAPS of groups is said to be i-perfect if its derived sub-IAPS is contrasaturated.

Stronger properties

 * non-Abelian i-simple IAPS