§5 行列式的严格定义