Morleyización

El proceso formal de ampliar un lenguaje de primer orden añadiendo nuevos símbolos de relación para conjuntos y relaciones que ya son definibles en el lenguaje original, junto con axiomas que afirman que cada símbolo nuevo es equivalente a la fórmula que lo define.