"t" : "u" → "v" および "s" : "v" → "w" が行列sとtを伴う線型変換であるなら、(与えられた基底に関する)線型変換 "s" o "t" : "u" → "w" の行列はstである。