线性代数中DEF是什么意思?