半定序我们知道对于任意两个实数\(a,b\),其必然满足以下三种关系中的一种\(a>b,或a=b,或者a<b\),这其实是一种全序关系，即任意两个实数之间都可以比较大小。但是若我们考虑矩阵的话，就不存在这种全序关系，但是我们可以刻画一种偏序关系，就如我们下文想要考察的半定关系，若矩阵\(