Если задано непустое множество X и отображение Гx множества X в Y ( в частности, X=Y), то граф G является