Preštevna množica

Iz MaFiRaWiki

Podmnožica naravnih števil A \subseteq \mathbb{N} je preštevna, če je prazna ali če obstaja izračunljiva funkcija f : \mathbb{N} \to \mathbb{N}, ki našteje elemente A:

A = \{f(n) \mid n \in \mathbb{N}\}.

Pri tem je dovoljeno, da so nekateri elementi našteti večkrat.

Osebna orodja