Definition:Rate Function

Definition
Let $\XX$ be a topological space.

Let $\overline \R_\ge$ be the set of positive extended real numbers.

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

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