semicontinuous semidistributive semicomputable lower semicontinuous upper semicontinuous semibounded semi-isotropic semisimplicial semiquantifiable semistrict