Отношение заданное на множестве