Finitely presented conjugacy-separable group

Definition
A finitely presented conjugacy-separable group is a group that is both finitely presented and conjugacy-separable.