Отношение близости

Отношение близости на мн-ве S -
тернарное отношение на S, проекция
которого на 2-й и 3-й атрибуты при
фиксированном значении 1-го атрибута
является отношением частичного
порядка на S.

Выражение "x ближе к y чем к z" эквивалентно
выражению "y предшествует z относительно x" и
для него естественны записи "x | y < z", "y < z | x"
или "z > y | x", где x,y,z - значения атрибутов
X,Y,Z отношения близости R(X,Y,Z) и для
любого x проекция R(Y,Z|X=x) - отношение
частичного порядка.

Москве настал полный Карпентнер

что из него вылезет - увидим уже