方阵可逆的定义是什么