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

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