Пункт 2
Способы задания множеств
Я хз как на это отвечать, это крайне сильно зависит от аксиоматики
A={(a_1),(a_2),…,(a_n)} , где(a_𝑖) - элемент созданного множестваA
A={[b∈B,ƒ(b)]} , гдеB - множество или класс, аƒ - некоторый предикат
Подмножества, равенство множеств
Смотрим на все поэлементно:
Мощность множеств
Магическим образом представим, что мощность бесконечных множеств брать нельзя, и скажем, что:
|∅|=0 ∀A={(a_1),…,(a_n)}:|A|=n
Свойства отношения включения
∀X:X⊆X ∀X,Y:X⊆Y∧Y⊆X⇔X=Y ∀X,Y,Z:X⊆Y∧Y⊆Z⇒X⊆Z
Отношение эквивалентности (вы же учили матлог?)
бинарное отношение
∀x,y:x≡