Об алгебрах Менгера фиксированного ранга

Abstract

The well-known connection between hyperidentities of an algebra and identities satisfied by the clone of this algebra is studied in a restricted setting, that of -ary full hyperidentities and identities of the -ary clone of term operations which are induced by full terms. Here we introduce a notion of - full terms and we prove that the -ary -full terms form a Menger algebra of rank . So, we obtain a counting chain of free algebras.