decidable relation

Мат. разрешимое отношение