有向圖的交集

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

如果是一個正整數，那麼兩個標記的-有向圖的有向圖交集的鄰接矩陣是它們鄰接矩陣的Hadamard積（又名元素級積）。

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