Finitely generated conjugacy-separable group

Definition
A finitely generated conjugacy-separable group is a group that is both a defining ingredient::finitely generated group and a defining ingredient::conjugacy-separable group.