 Every distributive (∨,0)-semilattice is the directed union of its finite distributive (∨,0)-subsemilattices.This means that every finite subset in a distributive (∨,0)-semilattice "S" is contained in some finite "distributive" (∨,0)-subsemilattice of "S".Now we are trying to represent a given distributive (∨,0)-semilattice "S" as Conc "L", for some lattice "L".