Locally finite simple group

Definition
A locally finite simple group is a group that is both a locally finite group and a simple group.

Examples

 * Every finite simple group is a locally finite simple group.
 * The finitary alternating group on an infinite set is a locally finite simple group.