לחד?חד?ערכיות אין כאן כלל תפקיד.
הסתירה היא לכך שקיימת פונקציה מהקבוצה *על* קבוצת החזקה שלה.
ואז ל?D אמור להיות *לפחות* מקור אחד (שעליו מגיעים לסתירה).
אם נתייחס אך ורק לחח?ע, אזי ברור שקיימת פונקציה כזו, לדוגמא זו ששולחת כל איבר ל"יחידון" (סינגלטון) שלו. היא חח?ע אך אינה על.
המצגת היא טעות
לחד?חד?ערכיות אין כאן כלל תפקיד.הסתירה היא לכך שקיימת פונקציה מהקבוצה *על* קבוצת החזקה שלה.
ואז ל?D אמור להיות *לפחות* מקור אחד (שעליו מגיעים לסתירה).
אם נתייחס אך ורק לחח?ע, אזי ברור שקיימת פונקציה כזו, לדוגמא זו ששולחת כל איבר ל"יחידון" (סינגלטון) שלו. היא חח?ע אך אינה על.