Uma teoria T é dita como um interprete de outra teoria S se existe finitas extension by definitions T′ de T tal que S é contido em T′.
↑ A extensão de uma propriedade (também chamado de atributo) é um conjunto de individuais, então uma propriedade é uma relação unária. E.g. As propriedades "amarelo" e "primo" são relações unárias.