A ve her n∈N için Bn herhangi kümeler olmak üzere (∀n∈N)(A⊆Bn)⇒A⊆⋂n∈NBn
Her n∈N için A⊆Bn ve x∈A olsun. (x∈⋂n∈NBn olduğunu göstereceğiz.)
(∀n∈N)(A⊆Bn)x∈A}⇒(∀n∈N)(x∈Bn)⇒x∈⋂Bn.