Граф - это множество вершин, множество рёбер и отношения связности. Тогда операторы для множеств подходят для графов. Применяя операцию объединения (∪) двух орграфов, мы создаём граф, являющийся наложением одного графа на другой.
Применяя операцию пересечения (∩), мы находим такой граф, элементы которого есть В ОБОИХ орграфах. Такой граф не будет иметь рёбер.
На рисунке изображён орграф D1∪D2
