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

[az118]

Отношение близости на мн-ве 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) - отношение
частичного порядка.

Comments

[igor-dzhadan.livejournal.com]

Я бы назвал: "предикат относительной близости", поскольку "отношение относительной близости" плохо звучит, а просто "близости" - путает читателя с другим тернарным отношением "z > y | x", где х - скаляр, а у и z - точки, между которыми определяется расстояние х.

[az118.livejournal.com]

"предикат" в логике.

есть теория мат.отношений как подмн-в декартовых произведений.
пример - бинарные отношения (порядка, эквивалентности и т.д.).

абсолютной близости не бывает.