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  ?

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^\text{th}$ row and $j^\text{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\ldots n] \ \ K_{i,j} = \bigvee_{k \in [1\ldots 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?