Definition talk:Open Set Axioms

When I first looked at this page, I was surprised to not see the usual requirement that the empty set be open. Is such a requirement redundant because of $(O1)$ and Union of Empty Set? --Cjhanrahan (talk) 03:35, 23 November 2017 (EST)