I want to define a set X\subset [0,1], without using the axiom of choice, with the following property: Both [a,b]\cap X and [a,b]\backslash X are uncountable for all [a,b]\subset [0,1] where a<b.
I don't know how to define X so that [a,b]\cap X would always be uncountable without X containing...