Added image description of a monotonic join-semilattice.