A Sylvester-egyenlőtlenség a mátrixok szorzatának és az eredeti mátrixok rangjának aránya :
,ahol a mátrix oszlopainak száma és a mátrix sorainak száma . A 19. századi angol matematikusról, James Sylvesterről nevezték el .
Az eredmény közvetlenül következik a Frobenius-egyenlőtlenségből ( az azonosságmátrix ): [1] .