A join of the empty family (where I=∅ ) is an initial object of the category A , as in Example X. Equivalently, it is a least element of A : an element 0∈A such that 0≤a for all a∈A . For instance, in (R,≤) , join is supremum and there is no least element.