... set X is infinite, or equivalently, its cardinal is infinite, if there exists a proper subset Y of X with | X | = | Y |. A cardinal which is ...