Для отношений эквивалентности и фактор множество [X/p], построить граф

Question

Для отношений эквивалентности и фактор множество [X/p], построить граф 
Отношение определено на множестве {5,8,9,12,13,16,18,19,20} xpy <=> |x-y| / 4

Катя Блэр · Accepted Answer

Классы эквивалентности: {5;9;13}, {8;12;16;20}, {18}, {19}. Это вершины графа. Но честно признаюсь, что не знаю, по какому принципу строятся ребра!)