Definición de subdominio, teorema de decisión y propiedades