subuppersemilattices