О счетных скелетах вложимости дискриминаторных многообразий

Если $\mathfrak{M}$ — многообразие, то $J\mathfrak{M}$ — совокупность типов изоморфизма $\mathfrak{M}$-алгебр, $\mathfrak{M}_{\aleph_0}$ — совокупность $\mathfrak{M}$-алгебр мощности, не превышающей $\aleph_0$. На $J\mathfrak{M}$ вводится отношение квазипорядка $\leqslant$: если алгебра типа $a$ изоморфно вложима в алгебру типа $b$, то $a\leqslant b$. Показывается, что любое счетное частично упорядоченное множество изоморфно вложимо в $\langle \mathfrak{M};\leqslant\rangle$, если $\mathfrak{M}$ — дискриминаторное многообразие конечной сигнатуры, не являющееся локально-конечным.