  We prove that the fundamental group of any Seifert 3-manifold is conjugacy
separable. That is, conjugates may be distinguished in finite quotients or,
equivalently, conjugacy classes are closed in the pro-finite topology.
