uppersemilattices