Cтраница 2
Алгебра G, сигнатура которой состоит из И и еще одного бинарного умножения, называется кольцоидом над алгеброй многообразия ( Q, Л) или ( Q, А. G, рассматриваемая как алгебра сигнатуры Q, содержится в многообразии ( Q, Л), а по умножению G является полугруппой, и если умножение связано с операциями из Q законами дистрибутивности на втором месте. Операции из Q называются аддитивными операциями кольцоида G, a G как алгебра сигнатуры Q - аддитивной алгеброй кольцоида. Если законы дистрибутивности для умножения относительно операций из Q выполняются и на первом месте ( ср. [16]
Тавтология ( Tsi) называется законом dictum de omni. Формулы ( Tsi) - ( Тзт) - законы де Моргана. Формулы ( Т5е) - Те) суть законы дистрибутивности; формулы ( Тез) - ( Тб () - законы перестановки кванторов. [17]