基本行列の定義って何ですか?