Пусть есть некоторая величина

- длинна
Введем объект

характеризуемый уникальным параметром

,

- точка
Введем объект

характеризуемый параметром

и упорядоченным множеством объектов типа

мощностью от 0 до 2,

- ограничинная с двух сторон линия,

- ограничинная слева линия,

- ограничинная справа линия,

- неограниченная линия.
Пусть заданы

Если

совпадает с

, то линии примыкают друг к другу.
Тогда


- внутренняя точка. ...
Тогда

, где

- множество внутренних точек. ...
Тогда любая линия есть множество примыкающих линий
-- Чт май 03, 2012 18:42:56 --ewertЗачем. Вводом объекта мы задаем множество таких объектов. Пример показать?