LERF group

Definition
A group is termed a LERF group or locally extended residually finite group or subgroup-separable group if every finitely generated subgroup is a closed subset in the defining ingredient::profinite topology.