という行列の積はである。この演算にはとが出てきている。この２つの二項演算を「他の二項演算」にも開放しよう、というもの "行列の積の一般化"(クヌース本1.1のp12では"一般化行列積"となっているのだが、generalized matrix multiplicationともちょっと違…