En realidad, cuando se construyen los naturales, se dice que un número es «menor» que otro si está contenido en este, es decir, si su cardinalidad es menor o igual que otra.