1679
правок
Изменения
просьба посмотреть
Тут походу должно быть что-то вроде «найдутся такие подмножества, что их дизъюнктное объединение блаблабла», из определения Додонова это вроде не очевидно. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 06:23, 21 ноября 2011 (MSK)
: Хотя в той версии, которую сделал я, создаётся ощущение что их должно быть конечное число, а это, наверное, не обязательно
== Определение алгебры ==
В третьей аксиоме, наверное, должно быть <tex> B, C \in \mathcal A \Rightarrow B \cup C \in \mathcal A </tex>.
И, похоже, что все-таки «Из данных аксиом следует, что <tex> X = \overline \varnothing \in \mathcal A </tex> и <tex> B \cap C = \overline {\overline B \cup \overline C} \in \mathcal A </tex>»
Плюсаните, если я прав. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 05:22, 31 декабря 2011 (MSK)
