Definition:Lower Semicontinuous on Subset