for X being infinite set ex f being sequence of X st f is one-to-one