 Conjugacy separable group

A group $G$ is conjugacy separable when any two nonconjugate elements remain nonconjugate in some finite quotient. Equivalently, every conjugacy class is closed in the profinite topology.