calculable relation

Мат. вычислимое отношение