という形で与えられる.なお大きさが等しい2つの正方行列formula_21に対して,formula_22とは,formula_23と同義である.