A un conjunto que se encuentra en formula_10 para alguna n se le llama analítico.