  We characterize factor congruences in semilattices by using generalized
notions of order ideal and of direct sum of ideals. When the semilattice has a
minimum (maximum) element, these generalized ideals turn into ordinary (dual)
ideals.
