Definition:Dedekind-Infinite Set