Définition du sous-domaine, théorème de jugement et propriétés