线性代数中合同的定义