Finitely presented simple group

Definition
A finitely presented simple group is a group that is both a finitely presented group and a simple group.