Un quasigruppo de Ward es un quasigruppo (Q;∗) con un elemento neutre a medie e tal que vale
∀a,b,c∈Q(a∗b)∗c=a∗(c∗(e∗b)).