Esta manera de definir, de hecho considerada algorítmica, es usual en Matemática discreta.