Completion-equivalent subgroups

This article defines an equivalence relation over the collection of subgroups within the same big group

Definition

Definition with symbols

Let $G$ be a group and $H$ and $K$ be subgroups of $G$. We say that $H$ and $K$ are completion-equivalent if for any subgroup $U$, $HU=G⟺KU=G$.