Set-theoretic limit (source code)

= Set-theoretic limit
{wiki}

For a <sequence> of <sets>, the <limit superior of sets> consists of points belonging to infinitely many members, while the lower limit consists of points belonging to every sufficiently late member. If the two <sets> coincide, their common value is the set-theoretic limit.