נתון n ≥ 4 ו- {A = { 1, 2, 3, … , n. כמה יחסים R ⊆ A×A מקיימים את התנאי: ∅ ⊆ R אבל R ≠ ∅.אני אמרתי ש:
A| = n|
AxA| = n^2|
P(AxA)| = 2^n^2|
ומאחר ו R⊆P(AxA) <-> R ⊆ A×A אז ישנם 2 בחזקת n בחזקת 2 יחסים שונים שמקיימים את התנאי.
השאלה שלי היא מה אני אמור לעשות עם התנאי R ≠ ∅? כי R לעולם לא יהיה קבוצה ריקה, הוא אמנם יהיה R={∅} אבל זאת לא נחשבת קבוצה ריקה...
האם התשובה שלי היא בסדר?
תודה!