# Baer diassociative loop

A Baer diassociative loop is a diassociative loop $L$ satisfying the following two conditions:
2. The loop is uniquely 2-divisible, i.e., for every $a \in L$, there is a unique $b \in L$ such that $b^2 = a$.