Плоский(планарный) граф - тот, который можно изобразить на плоскости без пересечения ребер
Грань плоского графа - максимальное по площади множество точек плоскости, каждую пару которых можно соединить линией, не пересекающей ни одного ребра графа
Два графа называются гомеоморфными, если существуют такие их подразделения, которые являются изоморфными графами
Критерий планарности: граф планарен тогда и только тогда, когда не содержит в себе подграфов гомеоморфных ни полному графу с 5 вершинами, ни полному двудольному графу.