Zulip Chat Archive

Stream: Is there code for X?

Topic: neighbourhood of infinity

Kevin Buzzard (Jul 18 2024 at 08:28):

Do we have a definition (and notation?) for the neighbourhood of infinity filter on the reals? i.e. $S\in\mathcal{F}\iff\exists B, [B,\infty)\subseteq S$ ?

Yaël Dillies (Jul 18 2024 at 08:30):

Is that not docs#Filter.atTop ?

Last updated: May 02 2025 at 03:31 UTC