A set is called 'Dedekind-infinite' if:
It can be placed in one-to-one correspondence with a proper subset of itself
It is uncountable
It is empty
It contains all natural numbers