Morleyisation

Le processus formel d'élargissement d'un langage du premier ordre en ajoutant de nouveaux symboles de relation pour des ensembles ou relations déjà définissables dans le langage d'origine, accompagnés d'axiomes affirmant que chaque symbole nouveau est équivalent à la formule qui le définit.