Включение (булева алгебра)
- Отношение включения в булевой алгебре определяется как a ≤ b и является логическим аналогом отношения подмножества в теории множеств.
- Включение является частичным порядком.
- Отношение включения может быть выражено различными способами.
- Отношение включения имеет естественную интерпретацию в различных булевых алгебрах.
- Некоторые полезные свойства отношения включения включают a ≤ a + b и ab ≤ a.
- Отношение включения может использоваться для определения логических интервалов.
- Булева алгебра с ограниченным набором элементов является булевой алгеброй.
Полный текст статьи: