A set $A$ is infinite if and only if:

• a$A$ is empty
• b$A$ has zero elements
• cthere exists a proper subset of $A$ which is equivalent to $A$
• dall elements of $A$ are positive