Commutativity perp-structure

Definition
Let $$G$$ be a group. The commutativity perp-structure on $$G$$ is defined as the following perp-structure $$\perp$$:

$$g \perp h \iff gh = hg$$.