Yani keyfi sayıda tümevarımsal kümenin arakesitinin yine bir tümevarımsal küme olduğunu gösteriniz.
Her T∈T için 0∈T olduğundan 0∈∩T ...(1)
x∈∩T⇒(∀T∈T)(x∈T)⇒(∀T∈T)(x+1∈T)⇒x+1∈∩T ...(2)
(1) ve (2)⇒∩T∈T.