Group in which every normal subgroup is finite or has finite index

Definition
A group in which every normal subgroup is finite or has finite index is a group in which every normal subgroup satisfies one of these two conditions: either it is a finite group (and hence a defining ingredient::finite normal subgroup), or it is a defining ingredient::normal subgroup of finite index in the whole group.