👉 In mathematical logic, a semicontinuous function is a function that maps continuous functions to continuous functions. For example, if f(x) = 2x^3 + x^2 - 1 and g(x) = x^2 - 4, then the composite function h(x) = f(g(x)) is continuous on its domain, but it's not semicontinuous because it maps the interval (-∞, ∞) onto a non-compact set (