A class of structures has the joint embedding property if any two structures in the class can be embedded into a third. When combined with the amalgamation property and countability, the joint embedding property guarantees the existence of a Fraïssé limit—a universal homogeneous model in which every structure in the class embeds.
Study the class of finite linear orders: verify joint embedding and amalgamation properties, then identify the Fraïssé limit as (Q, <).
You know from studying amalgamation that given two structures sharing a common substructure, amalgamation allows them to be combined into a single larger structure extending both. The joint embedding property (JEP) is a simpler cousin: a class 𝒦 of structures has the JEP if for any two structures A, B ∈ 𝒦 there exists a third C ∈ 𝒦 into which both A and B embed. Unlike amalgamation, there is no requirement that A and B share any common substructure — you simply ask that they can always be "put together" inside a common host. JEP rules out classes in which two structures are so incompatible that no single model can contain both, like classes combining incompatible orders or conflicting function values.
The classic example is the class of finite linear orders. Given any two finite linear orders, you can always find a longer linear order containing both via disjoint union followed by concatenation — or, more naturally, by interleaving them. This is JEP. For amalgamation: if two finite linear orders share a common suborder, you can extend both to a common order by carefully respecting the shared ordering. Both properties hold. What does this buy you? Fraïssé's theorem states that if 𝒦 is a countable class of finitely-generated structures that is closed under substructures, has only countably many isomorphism types, and satisfies both JEP and AP (amalgamation property), then there is a unique countable Fraïssé limit — a universal homogeneous structure into which every member of 𝒦 embeds.
For finite linear orders, the Fraïssé limit is (ℚ, <), the rationals with their standard order. Every finite linear order embeds into ℚ (just pick any finite increasing sequence of rationals), and ℚ is homogeneous: any order-preserving bijection between two finite subsets of ℚ extends to a full automorphism. The JEP is what ensures the limit is universal — it can absorb every structure in the class. The AP is what ensures homogeneity — any partial isomorphism between finite substructures extends globally. These two properties together, with JEP providing the "no orphans" guarantee, produce the unique canonical limit.
JEP also has a semantic meaning: it is equivalent to saying the theory of the limit is complete. If any two models of a theory 𝒦 can be jointly embedded into a common model, then 𝒦 cannot have two models with contradictory complete theories — no sentence can be true in one model and false in another when both must fit into a common host. This is why JEP is sometimes described as a coherence condition: it ensures that all structures in the class are "compatible" at the logical level, pointing toward the same limit.