規約により、は(をそれ自身の上のベクトル空間と見たもの)であるものとする。