For a Fraïssé structure formula_148, its automorphism group formula_149 can be considered a topological group, given the topology of pointwise convergence, or equivalently, the subspace topology induced on formula_149 by the space formula_151 with the product topology.