For a given [[Algebraic Structure|Algebraic System]] $[V, *_{1}, *_{2}, \dots]$, if $W \subset V$ and $[W, *_{1},*_{2},\dots]$ is an algabraic system of the same kind as $V$, then $W$ is a subsytem of $W$.