For functions $f: C \to D$, $g: A \to B$, there exist a function composition $f \circ g$, and we know $f \circ g$ is an onto function. What about the following comparisons can be true?