Matematyka.pl

Mam pytanie odnośnie definicji zbioru skończonego ponieważ we własnych notatkach znalazłam dwie definicję:
1) zbiór skończony - zbiór niebędący równolicznym z żadnym swoim podzbiorem właściwym
2) zbiór skończony - zbiór, który jest równoliczny z pewnym swoim podzbiorem właściwym.
Czy obie są poprawne?

Ad. 2) Jest to definicja zbioru nieskończonego (w sensie Dedekinda).

karolcia_23 pisze:1) zbiór skończony - zbiór niebędący równolicznym z żadnym swoim podzbiorem właściwym
2) zbiór skończony - zbiór, który jest równoliczny z pewnym swoim podzbiorem właściwym.
Czy obie są poprawne?

Nie mogą obie być poprawne, bo definiują dokładnie przeciwne pojęcia.

Elayne pisze:Ad. 2) Jest to definicja zbioru nieskończonego (w sensie Dedekinda).

Tak. Bardzo chętnie też mogę pokazać, że każdy zbiór nieskończony jest równoliczny z podzbiorem właściwym, czyli jest nieskończony w sensie Dedekinda. Czyli jak w dowolnym zbiorze nieskończonym zgubić (przez równoliczność) jeden element...