Además, si M y M' son interpretaciones y "a" un nombre, entonces M' es una "a"-variante de M si y solo si M' es idéntica a M o difiere solo en el elemento del dominio que le asigna al nombre "a".