有向图的交集

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

如果是一个正整数，那么两个标记的-有向图的有向图交集的邻接矩阵是它们邻接矩阵的Hadamard积（又名元素级积）。

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