Brainstorming VL04 Luepke

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