definable relation

Мат. определимое отношение