Изменения

Замечания:* Будем обозначать, что <tex> D(p) = p^* </tex>, <tex> D(P)l) = P l^* </tex> Факт дуализма:

* Точка Тогда точка <tex> p \in P = \cup p_i </tex> принадлежит <tex> UH(P) </tex> тогда и только тогда, когда существует такая не вертикальная прямая <tex> l </tex>, что <tex> \forall i : p_i </tex> лежит под <tex> l </tex>.Таким образом получаемПерефразируем для dual-пространства:* Взаимно однозначное соответствие между вершинами Существует точка <tex> CH(D(L)) l^* </tex> и границами пересечения на прямой <tex> p^* \cap_{i=1}in P^* : l^{n}(l_i) * </tex>;* Порядок точек в лежит под любой прямой из <tex> CH(D(L)) P^*</tex> совпадает с порядком прямых в пересечении.