The profinite completion of a group $G$ is defined to be the profinite group$$ \hat{G} = \varprojlim_{N \nsgpf G} G/N,$$ where $N \nsgpf G$ means that $N$ is a normal subgroup of finite index in $G$ .

A group embeds into its profinite completion if and only if it is residually finite.