集合論について

[0339 １３２人目の素数さん 2014/05/20(火) 16:34:29.17]

>> 334
任意の集合 B について、{A_λ}_{λ∈Λ} をどれも空集合でないような集合の族とすると、それらの直積が
(∏_{λ∈Λ}A_λ) ⊂ B となるような {A_λ} は存在しない。