It also means that (for positive integer rank functions) compatibility of ρ with the ordering follows from the requirement about covers.
Это также означает, что (для функций ранга, принимающих положительные целые значения) совместимость ρ с порядком следует из требования подчинённости.