Theorem iitop

Description: The unit interval is a topological space. (Contributed by Jeff Madsen, 2-Sep-2009)

	Ref	Expression
Assertion	iitop	$$⊢\mathrm{II}\in \mathrm{Top}$$

Proof

Step	Hyp	Ref	Expression
1		iitopon	$$⊢\mathrm{II}\in \mathrm{TopOn}\left(\left[0,1\right]\right)$$
2	1	topontopi	$$⊢\mathrm{II}\in \mathrm{Top}$$