text: Если вершины st-планарного графа частично упорядочены по достижимости, то это упорядочение всегда формирует двухмерную полную решётку, диаграмма Хассе которой является транзитивным сокращением данного графа.