Úplné kongruence na svazu klesajících podmnožin se shodují s indukovanými právě když výchozí uspořádání neobsahuje hustý řetězec. Obecněji jsou diskutovány vztahy mezi úplnými, indukovanými, spaciálními a otevřenými kongruencemi.