Then, stated more formally, Mac Lane's characterization is that the planar graphs are exactly the graphs that have a 2-basis.
Тогда, утверждая более формально, описание Маклейна графов утверждает, что планарные графы — это в точности те графы, которые имеют 2-базис.