Conjunto finito
Origem: Wikipédia, a enciclopédia livre.
Em teoria dos conjuntos, um conjunto X diz-se finito se existir uma bijecção entre X e o conjunto {1,...,n}. Ao número n chama-se o cardinal de X.
[editar] Caracterizações dos conjuntos finitos
- Um conjunto é finito se e só se não existir uma bijecção entre si e um seu subconjunto próprio.