Egy V algebraosztályt varietásnak neveznek, ha V azonosságokkal axiomatizálható. Egy V varietás szubdirekt irreducibilis algebrái V elemeinek „építőkövei”. Taylor egy tétele szerint, ha V-ben legfeljebb 𝜿 darab művelet van, és V-ben van 2^𝜿 méretű szubdirekt irreducibilis algebra, akkor van akármekkora is. A projekt Taylor tételének rekonstrukciója, finomítása.