А я сторонник четвертого варианта.
Отношением на паре множеств называется подмножество
.
Это можно задать функцией
.
Аналогично отношением на одном множестве (одно-отношение) можно задать характеристической функцией
. Это определяет подмножество (классическое) множества А.
Нечетким подмножеством называют отображение
, когда множеством значений характеристической функции является не только 0 и 1 а весь интервал, что
можно интерпретировать как принадлежность точек множеству с вероятностью от 0 до 1.
Но в физике часто встречаются положение, когда значением характеристической функцией является более общее кольцо, например С.
Когда принадлежность двух точек х,у подмножеству А не определяется, а определяется только их отношение, а именно
точка х принадлежит нечеткому множеству подмножества А в
раз больше, чем точка у.
Норма комплексного числа определяется как квадрат модуля. При этом не всегда характеристическая функция
принадлежит в
, т.е.
норма значения (являющейся квадратом модуля) характеристической функции не всегда интегрируема и соответственно не всегда нормируема.
В этом смысле обобщаются и теория нечетких множеств и теория вероятности с произвольной характеристической функцией со значениями
в кольце
, с интерпретацией точка х принадлежит нечеткому множеству в
раз чаще, чем точка у, где
некоторая функция нормы на множестве значений характеристической функции.
В этом смысле понятие отношения на одном множестве приобретает более естественный смысл.