Zasada abstrakcji Indeks: Wytłumaczylibyście warunek podziału zbioru A na podstawie zasady abstrakcji? Podział zbioru A to rodzina podzbiorów R⊆P(A) spełniająca m.in. warunek: ∪_X∊RX=A Czyli zbiór elementów, który znajduje się w co najmniej jednym zbiorze z rodziny, to zbiór A? Zdaje się nie mieścić w granicach logiki i zbioru A...

Indeks: *w granicach zbioru X

Indeks: Hello from the other post...

Adamm: Tak. To zbiór elementów należących do co najmniej jednego ze zbiorów które są w R

Pytający: R⊆P(A) // R zawiera się zbiorze potęgowym A, znaczy R to rodzina (zbiór) podzbiorów zbioru A Warunek ∪_X∊RX=A znaczy tyle, że podzbiory zbioru A należące do R sumują się do zbioru A. Czyli każdy element a∊A należy przynajmniej do jednego podzbioru zbioru A zależącego do R. Co w tym nielogicznego?

Pytający: *należącego do R