If are both open and disjoint, then why are they separated? (that is )
Well, the idea's right. No neighborhood of a limit point of can be contained entirely within and thus can't be a point of .
Note though, I've seen you work in general topological spaces, and the definition you are implying of the closure in terms of sequences is only valid in first countable spaces.