У нас есть множество отрезков, ограниченных оболочкой <tex>R</tex>(это не выпуклая оболочка, а просто мнимая граница плоскости, за которую не вылезают отрезки).
Мы договариваемся, что никакие две точки не лежат на одной вертикали(в противном случае всё ещё противнее). ''Трапецоидная карта'' множества отрезков <tex>S</tex> {{---}} это эти отрезки и множество трапецоидов построенных следующим образом, из каждой точки выпущены два луча {{---}} вверх и вниз, до первого пересечения с другим отрезком или с оболочкой <tex>R</tex>.
{{Лемма
