If there exists a bijective mapping from a set to to a proper subset of itself, it is called an infinite set