KonkurStudy

سوال ۱۰۹ کنکور ارشد علوم کامپیوتر ۱۴۰۲

اهمیت
۰/۵

فرض کنیم F:P(A)→P(A)F : P(A) \to P(A) یک تابع است که از X⊆Y⊆AX \subseteq Y \subseteq A نتیجه شود F(X)⊆F(Y)F(X) \subseteq F(Y). فرض کنیم T={ X⊆A∣F(X)⊆X }T = \{\,X \subseteq A \mid F(X) \subseteq X\,\}. کدام مجموعه عضو TT است؟

الف) ⋂T\bigcap T

ب) F(⋂T)F(\bigcap T)

#set-theory#power-set#monotone-function#knaster-tarski#fixed-point#intersection