Completion-equivalent subgroups

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 \iff KU = G$$.