Un subquasigruppo ( S ; ∗ ) {\displaystyle (S;\ast )} de un quasigruppo ( Q , ∗ ) {\displaystyle (Q,\ast )} es un quasigruppo con S ⊆ Q {\displaystyle S\subseteq Q} .