Uniquely 2-divisible magma

Definition
A magma (set with a binary operation) is said to be uniquely 2-divisible if the square map $$x \mapsto x * x$$ is a bijection on it, or in other words, every element has a unique squareroot.

Stronger properties

 * B-loop