Given a class formula_1 of finite relational structures, if formula_1 satisfies certain properties (described below), then there exists a unique countable structure formula_3, called the Fraïssé limit of formula_1, which contains all the elements of formula_1 as substructures.