ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
6:39 Why does eq change to supseteq?
Got it: In the first case we want B \ ran(F | seg t) ≠ ϕ but this means that ∃ x \in B \ ran(F | seg t) which means ran(F | seg t) \subseteq B or equivalently ran(F | seg t) supseteq B.
6:39 Why does
eq change to
supseteq?
Got it: In the first case we want B \ ran(F | seg t) ≠ ϕ but this means that ∃ x \in B \ ran(F | seg t) which means ran(F | seg t) \subseteq B or equivalently ran(F | seg t)
supseteq B.