Question

Let p be the function that sends every element of A into its equivalence class; p(x) --> [x]. The induced map g: Q --> B given by g([x]) = f(x) is a well defined. Show that g is a bijection and that f = g o p. Comment on the importance of such a result.