You must log in or register to comment.
it’s been more than a decade since i last thought about such things but would IR^n with the dictionary order work
IR as in irrationals? Would that be complete? Actually, I’m realising property 3 is kind of confusing as written in the wiki.