Subcountability
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 ) .
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 ) .
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 ) .
Source: Wikipedia "Subcountability" · CC BY-SA 4.0
Share this article: X · Bluesky