Corollary 2.28

Corollary 2.28: $$Int(A)$$ is the largest open set contained in $$A$$; that is, $$int(A) \supseteq U$$ for every open set $$U$$ within $$A$$.