Formalmente, el conjunto de reglas de decisión que satisfacen los criterios requeridos resulta vacío.