countable_set

Processing math: 100%

Countable set

Collection

definiendum	$X\in$ it
exists	$f:\mathbb N\to X$
postulate	$f$ … surjective

Discussion

Parents

Requirements

Surjective function, Natural number