B-loop

Symbol-free definition
A B-loop is a uniquely 2-divisible Bruck loop.

Weaker properties

 * Bruck loop