I have a set theory problem (something to do with cardinals, I think):

Let be non-empty and relation in which holds . Show that there exists funtion so that with every .

I was thinking to use induction, but how construct the set for that? Is it something like

?