Matematický ústav Slezské univerzity v Opavě Logika a teorie množin M. Marvan
Kontrolní otázky
Další axiomy. Kartézský součin, relace, zobrazení.
Následující kontrolní otázky se týkají učebního textu Logika a teorie množin, str. 16 až 18. Pokud dokážete na všechny pohotově odpovědět, je to pro Vás znamením, že se v látce dostatečně orientujete a můžete pokračovat v samostudiu. Pokud něčemu nerozumíte nebo si nejste jisti, ptejte se.
1. Co praví axiom substituce?
2. Co rozumíme systémem množin? Je to množina nebo vlastní třída?
3. Je sjednocení systému množin množina?
4. Co je kartézský součin dvou množin? Je kartézský součin dvou množin množina?
Oprava. V učebním textu za axiomem G následuje příklad, v němž se používá ekvivalence množin. Ekvivalenci množin jsme ještě nezavedli. Aby se to napravilo, stačí jednoprvkovou množinu definovat jako množinu tvaru {a}, kde a je množina.