Pro varietu algeber najdeme podmínku ekvivalentní faktu, že podalgebry každé algebry ve V tvoří poduniverzum algebry podmnožin této algebry.