Subalgebra systems of powers of partial universal algebras

A. A. Iskander
1971 Pacific Journal of Mathematics  
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 <A; F} for some F if and only if E is an algebraic closure system on A 2 .
doi:10.2140/pjm.1971.38.457 fatcat:6fmtkwdskfc33ml4w3am34376m