Seien \( \mathbf{A}, \mathbf{B} \in \mathbb{R}^{n, n} \) obere Dreicksmatrizen. Dann ist
\(\begin{aligned} (\mathbf{A}\cdot \mathbf{B})_{i, j} = \sum_{k=1}^{n} a_{i, k}\cdot b_{k, j} &= \sum_{k=1}^{n} [i\le k]\cdot a_{i, k} \cdot [k\le j]\cdot b_{k, j} \\ &= \sum_{k=1}^{n} [i \le k \text{ und } k \le j]\cdot a_{i, k} \cdot b_{k, j} = \begin{cases} \sum_{k=i}^{j} a_{i, k}\cdot b_{k, j}, \ i \le j\\ 0, \ \text{sonst} \end{cases} \end{aligned}\)
\( [ \) Bedingung \( B]=\left\{\begin{array}{l}0, \text { wenn } B \text { nicht erfüllt ist } \\ 1, \text { sonst }\end{array}\right. \)