\import{algebra/quasigroup.tex}

\section{Loops}

\begin{struct}\label{loop}
    A loop $A$ is a quasigroup and a unital magma.
\end{struct}
