Esto es, sus teoremas son válidos en todos los dominios, incluyendo el dominio vacío.