矩阵中每个主对角元素的模都大于与它同行的其他元素的模的总和，这种矩阵就叫严格对角占优，也可以把“同行”换为“同列”,可以证明它们是一致的。