Es decir, si ["x"] es una clase de equivalencia en "X"/~, entonces uno puede intentar definir "f"(["x"]) = "f"("x").