如果A的每个对角元的绝对值都比所在行的非对角元的绝对值的和要大,即
|a_ii|>sum{j!=i}|a_ij|
对所有的i成立,那么称A是（行）严格对角占优阵.
如果A'是行严格对角占优阵,那么称A是列严格对角占优阵.
习惯上如果不指明哪种类型的话就认为是行对角占优.