From Apstheory
Template:Simplicity notion
[edit] Definition
[edit] Symbol-free definition
An eventually simple IAPS of groups is an IAPS of groups with the property that all but finitely many members are simple.
[edit] Relation with other properties
[edit] Stronger properties
[edit] Weaker properties