Definition:Upper Semilattice on Classical Set