Бинарное отношение R– это множество пар a,b декартового произведения множеств M1 и M2. ( M1 – это область определения, M2 – это область значений, если aRb).
Пусть графу G взаимно однократно соответствует отношение R. G= G(R).
1) Если отношение R рефлексивно, то граф G без кратных ребер, но с петлями во всех вершинах.
2) Если отношение R антирефлексивно, то G без петель и кратных ребер.
3) Если отношение R симметрично, то G неориентированный, без кратных ребер, в котором ребро 
4) Если R антисимметрично, то ему соответствует ориентированный граф без кратных ребер, причем исключаются ребра с взаимнопротивоположными ребрами.
5) Если R транзитивно, то в графе G без кратных ребер для каждой пары ребер 
, 
замыкающее ребро 
.
