有向图并集

两个有向图的并集是一个有向图，其顶点集（分别为边集）是它们顶点集（分别为边集）的并集。

给定一个正整数 ，两个标记的 -有向图的并集的邻接矩阵是它们邻接矩阵的逐元素最大值。

如果 是一个正整数，则标记的 -有向图关于有向图并集形成一个半格。