Словарь по логике

Нижняя полурешетка с нулем

Частично упорядоченное множество образует нижнюю полурешетку с нулем е.т.е.

1. для любых двух элементов множества есть общий меньший элемент
2. в множестве есть элемент, меньший любого другого элемента множества

В БД имеется следующий вариант теории: D₁L – бескванторный вариант на множествах.

© Автор статьи.