I vote empty result. I am quite partial to total orderings. They make life simple and things are easier to reason about. Also I spent way too many hours of my life trying to figure out what group actions apply to float64, so there’s some PTSD from that lol.
1 Like