La definición no proviene de una simple relación algebraica, sino que se define como una propiedad fundamental de las matemáticas.