Group in which every proper normal subgroup is finite

Definition
A group in which every proper normal subgroup is finite is a group with the property that every defining ingredient::proper normal subgroup (i.e., every normal subgroup other than the whole group) is finite.

Stronger properties

 * Weaker than::Finite group
 * Weaker than::Simple group