О первом бесконечном множестве

[alex_dorin]

Здравствуйте !
Верно ли я определяю множество с первой бесконечной мощностью ?

$ ALEF0(x) \equiv [INFIN(x) \And \forall y[ POWGT(x,y) \to FIN(y)]] $
где :
$ INFIN(x) $ - множество $ x $ бесконечно
$ FIN(x) $ - множество $ x $ конечно
$ POWGT(x,y) $ - мощность $ x $ строго больше мощности $ y $

C уважением
А. Дорин

[Xaositect]

Да, верно.

Кстати, алеф по-английски пишется aleph.