Finite Embeddability Property

An algebraic or logical property of a class of (finite) structures stating that every finite partial substructure (or finite partial algebra satisfying the class' diagram locally) can be embedded into some finite full structure in the class; informally, finite consistent local pieces extend to finite global members of the class.