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))} .