Separation axioms and frame representation of some topological facts