In this paper, for any f-partial algebra of a given type, weconstruct a partial algebra of the same type in such a way that thereis a meet complete isomorphism between ω-f-subsystems of a giventype - the subsystem here meaning one of weak-relative-algebra,strong-relative-algebra and subalgebra, and certain ω-subsystems ofthe same type of the latter.
展开▼