Scan0031

Rozdział 4

Rachunek zbiorów

4.1 Zbiór

Pojęcia zbioru i przynależności do zbioru przyjmujemy jako pierwotne (niedefiniowałne).

Przyjmujemy oznaczenia:

•    a 6 A — a należy do zbioru A (a jest elementem zbioru A)¹,

•    a £ A lub ~ (a € A) — a nie należy do zbioru A (a nie jest elementem zbioru A),

•    0 — zbiór pusty (zbiór, który nie ma żadnego elementu).

4.2 Definiowanie zbiorów

Sposoby definiowania:

•    przez podanie jego elementów:

A {^1?    • • • 5    >

•    przez podanie warunku jaki powinny spełniać jego elementy:

A = {x \ W (x)}    (zbiór takich x, że zachodzi W (.x)),

‘Jeśli kilka elementów należy do tego samego zbioru, to piszemy a, b £ A zamiast. a e A, b E A.