Pemeriksaan B.33. Latihan 17: tiga belas klaim tentang citra dan prapeta.
Periksa ketiga belas klaim terakhir dalam urutan sumber. Setiap klaim salah memerlukan contoh fungsi dan himpunan konkret; setiap klaim benar memerlukan sedikitnya satu rantai keanggotaan.