if x and y are two non empty finite sets f: x to y and g:y to x are functions such that gof:x to x is onto then what do we say about f or g