A set which can be put in a one-to-one correspondence with part of itself.
Etymology (PE): → infinite; → set.
