"Vague convergence"

In my random matrix theory course today, the professor gave a rigorous definition of the concept of the "vague convergence" of a sequence to what is known as a "vague limit."

This is an amazing coincidence, as I used a heuristic version of this concept in many of my math classes (especially on exams).