The algebra of implicit operations (Q1119673)

For an ordinal \(\alpha\), an \(\alpha\)-ary implicit operation on a class of topological algebras is a family of mappings \(p_ A: A^{\alpha}\to A\) (A\(\in C)\) compatible with arbitrary continuous homomorphisms between members of C. Endowed with the least topology that makes all homomorphisms into members of C continuous, the algebra of \(\alpha\)-ary implicit operations on C is the closure of the \(\alpha\)-ary algebraic operations, provided that C is closed with respect to closed subalgebras and finite direct products. Pseudovarieties of topological and of finite algebras serve as illustrations.