КЛОНЫ, КО-КЛОНЫ, ГИПЕРКЛОНЫ И СУПЕРКЛОНЫ // Ученые записки КФУ. Физико-математические науки 2009 N2

Abstract

Вводится в рассмотрение операция разрешимости на множестве частичных гиперопераций. Определяется суперклон как алгебра с основным множеством частичных гиперопераций и двуместной операцией подстановки, одноместными операциями циклической перестановки аргументов, транспозиции аргументов, отождествления аргументов, разрешимости и нульместными операциями, выделяющими операцию проектирования и всюду неопределенную операцию. Изучается отношение суперклонов к частичным гиперклонам, ко-клонам, клонам. Доказано утверждение об изоморфизме решетки суперклонов и решетки ко-клонов над одинаковыми множествами.