let's say we have two matrices $M$ and $G$ with $G, M \in \{0, 1\}^{n, n}$, we denote by $m_{i, j}$ the element of $M$ in the $i^{th}$ row and $j^{th}$ column, same for $G_{i, j}$. 

let's define $K$ the matrix resulting from the matrix operation $G \oplus M$ as follows:

$\forall i, j \in [1..n] \ \ K_{i,j} = \bigvee_{k \in [1..n]} m_{i,k} \wedge G_{k,j}$

I know this operation has a name as it is used in graph theory however i don't remember what it was. does someone know the name of this operation ?