Move one equivalent characterization of continuity from subspaces/product spaces notes to intro, and add another one (in terms of basis elements instead of open sets)