"F"("U") el conjunto de todas las aplicaciones "f" : "U" formula_1 "E" tales que π("f"("x")) = "x" para todo "x" en "U".