jaka różnica Paweł: A ⊆ B ↔ ∀x(x ∈ A → x ∈ B) x ∈ A ∪ B ←→ x ∈ A ∨ x ∈ B Wytłumaczcie mi proszę, dlaczego w 2 przykładzie nie ma ∀x (albo po co ∀x jest w 1 przykładzie)

Saizou : W pierwszym mówimy o równości zbiorów, czyli musimy mieć wszystkie x w drugim mamy już powiedziane że x ∊ A∪B, czyli bierzemy tylko te x które tam siedzą.

Paweł: To w 2 można opcjonalnie napisać ∀x∊A∪B czy wychodzi "masło maślane"?

Paweł: Przemyślałem to i wycofuje się z pytania Dzięki za odp.