semicontinuous

not defined yet