Несколько примеров многообразий полугрупп

Строится пример многообразия $\mathfrak M$ полугрупп, заданного конечным числом тождественных соотношений, для которого множество всех тождеств (уже от двух переменных $x$, $y$), истинных на всех полугруппах $\mathfrak M$ нерекурсивно. Показано, как построить подобные многообразия полугрупп с 1.