Si es cierto para una interpretación depende de cómo interpretesI, y si es cierto en un modelo depende de la extensión deI. Si el UD en un modelo es el conjunto {Doug}, entonces la extensión (...Si es cierto para una interpretación depende de cómo interpretesI, y si es cierto en un modelo depende de la extensión deI. Si el UD en un modelo es el conjunto {Doug}, entonces la extensión (=) en ese modelo es {<Doug, Doug>}. Si el UD es el conjunto {Doug, Omar}, entonces la extensión (=) en ese modelo es {<Doug, Doug>, <Omar, Omar>}. Y así sucesivamente.