BuK/IIm19/Ausarbeitungen Lüpke/Brainstorming VL04 Luepke

Aus ProgrammingWiki

Wiki-Quelltext dieser Seite.

== Abzählbarkeit einer Teilmente einer Abzählbaren Menge ==
[[Bild:Flikkes_M1zum2teil1.jpg|300px]]
[[Bild:Flikkes_M1zum2teil2.jpg|300px]]

Wenn ich für eine Abbildung $f: \mathbb{N} \rightarrow M$ die Surjektivität nachweisen kann, dann gilt dies auch für jede Abbildung $g: \mathbb{N} \rightarrow P \subseteq M$.