[садовник]

К чему игра слов?

Свойство синоним атрибута. Вы желаете совсем совсем чётко определить начальные дефиниции... И данный камешек благополучно уплывёт из-под ваших ног. Дефиниции даются лишь в системной (модельной) конкретике, сразу скопом совместно со всей априорной аксиоматикой конкретной модели и к тому же вносятся, как нечёткие множества.

Вы хотите установить чёткие границы нечёткого множества?

Программирование - это только очередной слепок с реальности, её корявое описание на понятном интеллектуальной системе языке и всё сводить к методам и значениям скорее всего ошибочно. Для упрощения и понимания отдельных процессов - метод аналогий неплох, но не более того.

Любая дискретная система сначала выстраивает матрицу (включая свойства матрицы - априорности и упрощения), в рамках которых начинает рассуждать.
Вы выстроили матрицу на основании двух свойств. Значения - свойство иметь в матрице конкретику соизмеримых мер. Методы - свойство в матрице иметь жёстко детерминированные процедуры преобразования значений.

Вообще говоря, нет никаких запретов на создание любой матрицы с любыми из заведомо бесконечного набора свойств параметрами.
Первичные свойства матрицы ничем не задаются. Они постулируются. Так для нашего мира постулированы свойства логики первого порядка (три закона логики).