Subalgebra systems of powers of partial universal algebras
Awad A. Iskander · Pacific Journal of Mathematics · 1971
A set A and an integer n > 1 are given.<S is any family of subsets of A n .Necessary and sufficient conditions are found for the existence of a set F of finitary partial operations on A such that S is the set of all subalgebras of <A; F} n . As a corollary, a family E of equivalence relations on A is the set of all congruences on