At-most-countable set
A set is at most countable if it is finite or has an explicit injection into the natural numbers; this is not the same as countably infinite.
atlas-at-most-countable-set · canonical_mko
At-most-countable set
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data