The theory of abstract algebras with infinitary operations