En concreto, formula_1 es pro-finito si existe un conjunto dirigido formula_2, una colección de grupos finitos formula_3, y homomorfismos formula_4 para cada par de elementos formula_5 con formula_6, que satisfacen