Теорема Шнайдера — это описание планарных графов в терминах его . Теорема носит имя Вальтера Шнайдера, опубликовавшего её доказательство в 1989 году. Частично упорядоченное множество инцидентных вершин неориентированного графа G со множеством вершин и V и множеством рёбер E — это частично упорядоченное множество высоты 2, которое имеет в качестве элементов. В этом частично упорядоченном множестве имеется отношения порядка , если x является вершиной, y является ребром и x является одним из концов дуги y.