Talk:Pointwise Lower Limit of Measurable Functions is Measurable

It turns out that the term Definition:Lower Limit is used in the context of topological spaces Definition:Lower Limit (Topological Space), and so the recommendation is that the term Definition:Limit Inferior be used instead.

(Of course, it may also be the case (it probably is) that Definition:Lower Limit (Topological Space) is also called a "limit inferior" so the disambiguation would need to be more subtle.)

But in any case, as we have been using Definition:Limit Inferior throughout, it is probably also a good idea to use the term Definition:Pointwise Limit Inferior instead of Definition:Pointwise Lower Limit.

A suggestion only -- I am unfamiliar with the precise terminology in both of these branches of mathematics. You may have brighter ideas. --prime mover (talk) 20:42, 8 June 2015 (UTC)