Let be a function from onto and let . Show that .
I was thinking of something along the lines of
let then , since it's onto and it's pretty much by definition. I'm not quite sure that this is correct.
I am sorry to bother you again but can you do this problem in predicate calculus,i would like to see the face of my lecturer to show him a proof in predicate calculus.