Končna množica

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Množica A je končna, če obstaja naravno število n in surjekcija iz \{m \in \mathbb{N} \mid m < n\} na A. To pomeni, da obstaja tako zaporedje a_1, a_2, \ldots, a_n (ki je lahko tudi prazno), da se vsak element A v zaporedju pojavi vsaj enkrat.

Množica A je končna natanko tedaj, ko ne obstaja prava podmnožica S \subset A, ki ima enako moč kot A.

Glej tudi

Osebna orodja