Defining a class of universal algebras to be algebraic if it is closed under isomorphisms, she then went on to define the seven operators which given an algebraic universal algebra K yield the smallest algebraic class containing all homomorphic images, subalgebras, direct products, subdirect products, reduced products, ultraproducts, and covers of algebras in K. She then looked at several subsets of these operators and proves that the semigroup which each set generates is finite.
Ang pagtukoy ng isang klase ng mga pandaigdig na algebras na algebraic kung ito ay sarado na sa ilalim ng isomorphisms, siya pagkatapos ay nagpunta sa upang tukuyin ang pitong operator na ibinigay ng isang algebraic universal algebra K-anihan ang Pinakamaliit na algebraic class na naglalaman ng lahat ng homomorphic mga imahe, subalgebras, direktang mga produkto, subdirect produkto, nabawasan ang mga produkto, ultraproducts, at sakop ng algebras sa K. Siya pagkatapos ay tumingin sa ilang mga subset ng mga operator at proves na ang semigroup na kung saan ang bawat set ay bumubuo ng hangganan.