Un conjunto finito es entonces un conjunto equipotente a un número natural: