于0，所有偶数阶顺序主子式大于0。当M是负定矩阵时，M的逆矩阵也是负定的。
相关性质.若formula_31为半正定阵，可以写作formula_32。如果formula_31是正定阵，可以写作formula_34。这个记法来自泛函分析，其中的正定阵定义了正算子。对于一般的埃尔米特矩阵，formula_1、formula_36，formula_37当且仅当formula_38。这样可以定义一个在埃尔米特矩阵集合上的偏序关系。类似地，可以定义formula_39。Section