Research any topic before you write.
Find related topics. | Discover entities. | See connections. | Build a topical map.
Subcountability: Art & Measurement
In constructive mathematics, a collection X {\displaystyle X} is subcountable if there exists a partial surjection from the natural numbers onto it. This may be expressed as ∃ ( I ⊆ N ) . ∃ f . ( f : I ↠ X ) , {\displaystyle \exists (I\subseteq {\mathbb {N} }).\,\exists f.\,(f\colon I\twoheadrightarrow X),} where f : I ↠ X {\displaystyle f\colon…
Language: English [EN]
