In: Advanced Math
Consider the equivalence relation on Z defined by the prescription that all positive numbers are equivalent, all negative numbers are equivalent, and 0 is only equivalent to itself. Let f ∶ Z → {a, b} be the function that maps all negative numbers to a and all non-negative numbers to b. Does there exist a function F ∶ X/∼→ {a, b} such that f = F ○ π? If so, describe it
.