Definition:Rate Function

Definition
Let $X$ be a topological space.

Let $\overline \R_\ge$ be the positive extended real number line.

Let $I : X \to \overline \R_\ge$ be a function.

Then $I$ is a rate function $I$ is lower semicontinuous.