有向圖並集

兩個有向圖的並集是一個有向圖，其頂點集（分別為邊集）是它們頂點集（分別為邊集）的並集。

給定一個正整數 ，兩個標記的 -有向圖的並集的鄰接矩陣是它們鄰接矩陣的逐元素最大值。

如果 是一個正整數，則標記的 -有向圖關於有向圖並集形成一個半格。