Lecture
This lecture covers the necessary condition of separation, the graph, and the sufficient condition of saturations in the context of equivalence relations on a space. It discusses the ironed group, closed sets, compactness, and open neighborhoods.