>>13961858I'm actually thinking about that! So we have like a stick going through the sphere... If I don't get an idea by 15 past, I'll probably give up and do my own stuff, sry.
>>13961888Checked! Choose some finite subset and let . Reordering a bit, all the basis sets will be of the form , where for every . I ask you: can you write all open sets of if you exclude any one of these? If not, can this be a countable family of basis sets?
