@perl the difference between fine and infinite set is that the infinite set is that the infinite set will be equivalent to some proper subset of itself. i.e. if there is injection f:A->A ... means the set is equivalent to some proper subset (due to surjective). Which means the set A is not finite.