Нехай В є підалгеброю булевої алгебри А. Кажуть, що підалгебра В має доповнення в А, якщо існує така підалгебра С с А[подано формулу], що В n С = {0,1}[подано формулу] й В u С[подано формулу] породжує А.
У цій роботі наводиться достатня умова, що забезпечує існування доповнення підалгебри В с А[подано формулу] в А.
Ключові слова: булева алгебра, доповнення.
Let В be subaigebra of a Boolean algebra A. Let us say that subaigebra В has complement with respect to A. if there exists a subaigebra C c A [...] such that В n C = {0,1}[...] and B u C[...] generates A.
The main purpose of this paper is to explore the sufficient condition of subalgebras В с А[...] , which have complement with respect to A.
Key Words: Boolean algebra, complement.
