Мощность множества эквационально полных подмногообразий многообразия симметрично тернарных квазигрупп

Многообразия алгебр с операцией $xyz\tau$, определяемой тождествами: 1) $xyz\tau yz\tau=x$; 2)$xxyz\tau z\tau=y$; 3) $xyxyz\tau\tau=z$; 4) $xxz\tau=z$, которые соответствуют четверкам Штейнера [3], так же как и многообразия структур, имеют единственное эквационально полное подмногообразие [4]. Доказывается, что в классе всех алгебр, определяемом только тождествами 1), 2) и 3), множество всех эквационально полных подмногообразий имеет мощность континиума.