Zbiory WhiskeyTaster: Mam pytanie o definicję podzbioru oraz podzbioru właściwego. A jest podzbiorem B, czyli A ⊆ B ⇔ dla dowolnego x, x ∊ A i x ∊ B. Z kolei podzbiór jest właściwy, jeśli A ⊆ B i A ≠ B. Czyli z tych obu definicji wynika, że zapisując A ⊆ B dopuszczamy myśl, że A = B?

WhiskeyTaster: Mała korekta w definicji podzbioru: dla dowolnego x, x ∊ A ⇒ x ∊ B

Blee: dokładnie tak

WhiskeyTaster: Okej, dziękuję, Blee.