A congruence on an inverse semigroup S is determined uniquely by its kernel and trace. Denoting by ρ k and ρt the least congruence on S having the same kernel and the same trace as ρ, respectively, and denoting by ω the universal congruence on S, we consider the sequence ω, ω k , ωt,as S runs over all inverse semigroups, form quasivarieties. This article explores the relationships among these quasivarieties.