 Mac Lane's planarity criterion

Mac Lane's planarity criterion, also known as the "Mac Lane's formation", is a combinatorial condition used to determine whether a graph can be embedded in the plane without any edges crossing. Specifically, the criterion states that a graph is planar if and only if it does not contain a specific type of subgraph as a "minor.