Space is Irreducible iff Open Sets are Connected