Zbiory Satan: Takie pytanie dotyczące zawierania się zbioru w innym zbiorze, a należenia do zbioru. Załóżmy, że A ⊆ B. No to tutaj jest jasne, że A zawiera się w B. Ale dlaczego A ∉ B? Należenie jest zdefiniowane przy pomocy opisu elementów zbioru B, ale nie mogę załapać, dlaczego A ∉ B, skoro elementy ze zbioru A należą do zbioru B. Proszę o rozjaśnienie tego

Mila: A jest zbiorem, zatem może się zawierać w zbiorze B . A={a,b,c} , B={a,b,c,d} A⊂B a∊A, b∊A, c∊A elementy zbioru należą do niego. d∉A

PW: Przykład Niech A = {Warszawa, Łódź, Kraków}, zaś B={zbiór miast wojewódzkich w Polsce} Jest prawdą, że A ⊆ B. Natomiast wypowiedź A∉B oznacza, że zbiór trzech miast nie należy do zbioru miast wojewódzkich (i jest to prawda, bo zbiór trzech miast nie jest miastem).

Satan: Czyli tak naprawdę należenie jest zdefiniowane dla elementów zbioru, tak?

Satan: Chyba rozumiem, jeszcze podam przykład: A = {a, b, c} B = {a, b, c, d, {a, b, c}} I tutaj A ⊆ B oraz A ∊ B, tak?

PW: Uwaga do 20:07 Zbiór i należenie elementu do zbioru są pojęciami pierwotnymi, nie można mówić o definicji.

Satan: Okej, wszystko już rozumiem − dziękuję Wam