Para comprobarlo basta ver estos ejemplos de “información” básica sobre un dominio sencillo no expresable en formula_3: