Donde Pf (Q× Г *) es un conjunto de subconjuntos finitos de Q × Г*