Зависимость между значениями a и b это функция A -> B где a є A, b є B. Такое определение устроит?
Функция - опять мусор из бездарной скриптухи. Из ничего никак не следует зависимость. Хорошо, давай так. У нас есть тип A и есть некое преобразование в тип B и тип B должен знать, что о является производным от A + операция X