Si define una aplicación en , parte mesma de , en  tal aplicación llámase operación parcialmente definida en . Almitíu lo anterior, la sustracción ye una operación parcialmente definida nos númberos naturales.