Neka je $\mathcal A=(A,\Omega)$ algebra, $S$ polugrupa i $\omega|\to\bar\omega$ preslikavanje $\Omega$ u $S$ tako da je $A\subseteq S$ i \[ mega(a_1,\dots,a_n)=\barmega_1,\dots,a_n \] za svaki $n$-arni operator $\omega\in\Omega$ i $a_1,\dots,a_n\in A$. Kažemo da je $\mathcal A$ \emph{podalgebra} polugrupe $S$. U radu je dat opis klase podalgebri polumreža. Važi sledeća extsc{Teorema}. \emph{Algebra $\mathcal A=(A,\Omega)$ je podalgebra neke polumreže ako i samo ako zadovoljava sledeći uslov: \emph{t$^*$)} Za proizvoljne terme $t_1$ i $t_2$, sa jednakim skupovima simbola u algebri $\mathcal A$ je zadovoljen identitet} $t_1=t_2$.