>>483

いや、定義していません。ただ、表形式に体 K の元を並べたものが行列という説明です。