🌱
Let be a topological space and let be a function from into . 1. is lower semicontinuous on if: 2. , the set is open in or; 3. for any sequence in that converges to . 44. is upper semicontinuous on if , the set is open in .
For a function to be continuous at means that if is near then is nearly equal to . For a function to be lower semicontinuous at means that if is near then is greater than or equal to , or at least nearly so.