Ocasionalmente, sin embargo, se enuncia una definición por una elección arbitraria por motivos de economía; entonces uno debe comprobar que la definición es independiente de dicha elección.