Propriété de Plongement Fini

Propriété algébrique ou logique d'une classe de structures (finies) affirmant que toute sous-structure partielle finie (ou algèbre partielle finie satisfaisant localement le diagramme définitoire de la classe) peut être plongée dans une structure pleine finie de la classe ; en termes informels, des morceaux locaux finis et cohérents s'étendent à des membres globaux finis de la classe.