La colección de conjuntos "F"("U") junto con las aplicaciones restricción "F"("U") formula_1