Diassociative loop

Definition
A diassociative loop is a loop with the property that the subloop generated by any subset of size at most two is a group, i.e., is associative.