Kuratowski's theorem

Kuratowski's theorem is a fundamental result in topology, specifically in the area of planar graphs. It characterizes the planarity of a graph using the concepts of subgraphs and Kuratowski's two examples of non-planar graphs.