Propiedad de Embebibilidad Finita

Propiedad algebraica o lógica de una clase de estructuras (finitas) que afirma que toda subestructura parcial finita (o álgebra parcial finita que satisface localmente el diagrama definitorio de la clase) puede ser embebida en alguna estructura plena finita de la clase; informalmente, piezas locales finitas y consistentes se extienden a miembros globales finitos de la clase.