 In fact, even a finite subset of formula_1 is not necessarily recognizable.For instance, the set formula_40 is not a recognizable subset of formula_41.Indeed, if a morphism formula_4 from formula_43 to formula_3 satisfies formula_45, then formula_4 is an injective function, hence formula_3 is infinite.