Search
❯
Last modified: Jan 30, 20251 min read
a poset where every countable, increasing chain has a least upper bound