Fraïssé Limit

A countable structure that is ultrahomogeneous and whose age equals a given countable class of finite structures with the hereditary, joint embedding, and amalgamation properties; it is unique up to isomorphism and realizes every finite pattern from that class.