Divisibility

A set $X$ with a binary operator $\cdot: X \times X \to X$ has the divisibility property if $\forall a, b \in X, \exists x, y \in X : a \cdot x = b$ and $y \cdot a = b.$