Konačan skup

Konačan skup je u matematici teoriji skupova vrsta skupa. Neki skup S je konačan:

• ako je prazan
• ako postoji prirodni broj n kojim možemo pisati u obliku

S = {s₁, s₂, s₃, ... s_n}

time da je

s_i ≠ s_j

za i ≠ j

Vidi

• FinSet
• Teorija kategorija
• Peanovi aksiomi

Izvori

1. Kurepa, Svetozar. Matematička analiza 1. Diferenciranje i integriranje. Zagreb: Školska knjiga, 1997.; str. 17