Структура Ассоциативность Нейтр. эл-т Обратный эл-т Коммутативность Абелева группа по + Дистрибутивность Нет делителей нуля Идемпотентность (·) Обратимость ненул. эл-в char > 0 Линейный порядок (≤) Плотность порядка Дискретность порядка Типовые примеры
Структура Коммутативность (∧,∨) Ассоциативность (∧,∨) Идемпотентность (∧,∨) Поглощение (∧,∨) Модулярность Дистрибутивность Ограниченность (0,1) Дополнение (a') Единственность a' Полнота (⋀S,⋁S) Атомарность Частичный порядок (≤) Линейность (цепь) Типовые примеры