Czy dana funkcja jest "na" ?

[Jan Kraszewski]

Teraz rozumiem i podoba mi się to zadanie.

Funkcja \(\displaystyle{ f}\) istotnie jest "na", a dowód tego faktu wymaga modyfikacji pomysłu Heńka, który pokazał, że singletony są wartościami funkcji. Jako następny krok można spróbować dowieść, że pary są wartościami funkcji (dla uproszczenia - np. para \(\displaystyle{ \{2,4\}}\)). Jak to się uda zrobić, to już powinno być jasne, jak będzie wyglądał dowód, że dowolny podzbiór zbioru liczb naturalnych jest wartością funkcji.

JK

[Qń]

Ja jeszcze dodam, że w pierwszym funkcja \(\displaystyle{ c}\) powinna być określona na \(\displaystyle{ P(A) \setminus \{ \emptyset \}}\), bo nie da jej się określić na zbiorze pustym tak, żeby spełniała podany warunek.

Q.