Title: Separation in Point-Free Topology