La teoría de modelos generaliza la noción de extensión algebraica a teorías arbitrarias: una inmersión difeomorfa ("incubamiento") de M en N se le llama extensión algebraica si para cada "x" en N existe una condición "p" con parámetros en M, tal que