Brainstorming VL04 Luepke

Aus ProgrammingWiki

Abzählbarkeit einer Teilmente einer Abzählbaren Menge

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$.