Henry Segerman on Nostr: nprofile1q…rcz9e nprofile1q…fpm95 if you’re willing to mess with the (point ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqxljff9c9erzmwzufdp877ade74trj5cxlag8x05vn7xx6x6nsfqgrcz9e (nprofile…cz9e) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq3t0vxvx8llrdglujal9hh93mtnl7wac0mxqd7xtdyryc4per8q4qpfpm95 (nprofile…pm95) if you’re willing to mess with the (point set) topology then you can get a reasonably nice picture. Given a set with a total order, say that the open sets are arbitrary unions of intervals (a,b) = {x | a<x<b}. This defines a topology on the set. Now take the set to be R x [0,1), with the dictionary ordering.