Un quasigruppo de Ward es un quasigruppo (Q;∗){\displaystyle (Q;\ast )} con un elemento neutre a medie e{\displaystyle e} tal que vale
∀a,b,c∈Q(a∗b)∗c=a∗(c∗(e∗b)){\displaystyle \forall a,b,c\in Q\;\;(a\ast b)\ast c=a\ast (c\ast (e\ast b))}.