Решётка (алгебра): различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Addbot (обсуждение | вклад)
м Интервики (всего 22) перенесены на Викиданные, d:q595364
Строка 18:
# <math>a\vee b = b\vee a</math><br /><math>a\wedge b = b\wedge a</math> ([[коммутативность]])
# <math>(a\vee b)\vee c = a\vee (b\vee c)</math><br /><math>(a\wedge b)\wedge c = a\wedge (b\wedge c)</math> ([[ассоциативность]])
# <math>a\wedge(a\vee b) = a</math><br /><math>a\vee(a\wedge b) = a</math> ([[поглощение (алгебра)|поглощение]]).
 
Связь между этими двумя определениями устанавливается при помощи формул: