=== Definizione generale ===Il limite diretto può essere definito in modo astratto in una qualsiasi categoria attraverso una proprietà universale. ###>Heuristically, two elements in the disjoint union are equivalent if and only if they "eventually become equal" in the direct system.