If K,G are finite abstract simplicial complexes and K is a subcomplex of G then the eigenvalues of the Hodge Laplacian of K are smaller or equal than the eigenvalues of the Hodge Laplacian of G, provided the eigenvalue lists are padded left.

翻译：如果K,G是有限的抽象单形复合体，并且K是G的子复合体，则K的Hodge Laplacian的特征值小于等于G的Hodge Laplacian的特征值，前提是特征值列表已经填充左侧。