Morleyization

The formal process of expanding a first-order language by adjoining new relation symbols (or predicate symbols) for sets and relations that are already definable in the original language, together with axioms that assert each new symbol is equivalent to the defining formula.