Separation in Point-Free Topology