℘(Q)∗=℘(Q)∖{∅} olsun. Öyle bir f:℘(Q)∗→Q fonksiyonu bulun ki her x∈(Q)∗ için f(x)∈x olsun.
Çözüm adımı. Soruyu önce Q yerine Q>0 kümesi için çözelim.
Q>0 kümesi sayılabilir sonsuzlukta olduğu için kümenin elemanlarını N kümesinin elemanlarıyla eşleyelim,
0→11, 1→12, 2→21, 3→22 ..., f(X)=min(X) bir fonksiyon tanımlar.
XXXPeki, Q<0 kümesi için nasıl bir fonksiyon tanımlayabiliriz?