Everywhere Super Dense Subset of $\mathbb{R}$

First, this question is motivated by the imprecise question: Is there a sensible notion of parity (evenness and oddness) for real numbers?

Here are some properties a notion of parity for $\mathbb{R}$ should have:

1. It should be an equivalence relation on $\mathbb{R}$ with exactly two equivalence classes.
2. Each equivalence class should be dense in $\mathbb{R}$.
3. There should be some kind of symmetry between the two equivalence classes. (This is intentionally imprecise.)

If we divide $\mathbb{R}$ into rationals and irrationals, this lacks symmetry, since the rationals have measure zero and are countable, while the rationals have infinite measure and are uncountable.

So we could require that each equivalence class be uncountable and/or have positive (or infinite) measure. Then take one equivalence class to be the rationals, union with countably many fat cantor sets with positive measure, and the other class its complement. Then both classes are now dense, uncountable, and have infinite measure. But again, symmetry is lacking. One of these classes is "uncountable everywhere" and has "positive measure everywhere" while the other does not.

I propose some definitions: A subset $A \subset \mathbb{R}$ is uncountable everywhere if for any open interval $(a,b)$, the intersection $A \cap (a,b)$ is uncountable. A subset $A \subset \mathbb{R}$ has positive measure everywhere if for every open interval $(a,b)$, the intersection $A \cap (a,b)$ has positive measure. We can see immediately that having positive measure everywhere implies being uncountable everywhere, since a positive measure set must be uncountable.

Finally, my questions:

1. Is there a partition of $\mathbb{R}$ into two sets that are both uncountable everywhere?
2. Is there a partition of $\mathbb{R}$ into two sets that both have positive measure everywhere?
3. Is there a partition of $\mathbb{R}$ into two sets that split each interval $(a,b)$ into two parts of equal measure?

Potential generalizations for extra credit: What about partitions of $\mathbb{R}$ with $n$ equivalence classes, where $n \in \mathbb{N}$, or even with countably many, or even uncountably many equivalence classes?

Note: If you've seen these definitions of uncountable everywhere or positive measure everywhere somewhere under a different name, please let me know. I've never found anything where other people were thinking about these notions.

EDIT: By "measure," I mean Lebesgue outer measure, so we don't have to worry about anything being measurable.

1) and 2): Yes. Take the union of countably many suitable "fat Cantor sets".

3) No. By the Lebesgue Density Theorem, if $A$ is a measurable subset of $\mathbb R$, $m(A \cap (t-\epsilon, t+\epsilon))/(2\epsilon) \to 1$ for almost every $t \in A$ and $0$ for almost every $t \notin A$.

EDIT with more details on 1) and 2):

Enumerate the open intervals $(a,b)$ with $a$ and $b$ rational and $a < b$ as $I_n = (a_n, b_n)$. I'll construct inductively disjoint sets $A$, $B$ as the union of sequences $A_n$, $B_n$ of closed nowhere-dense sets of positive measure (fat Cantor sets), where $A_n \subset I_n$ and $B_n \subset I_n$.

Given $A_1, \ldots, A_{n-1}, B_1, \ldots, B_{n-1}$, their union is a closed nowhere-dense set, so $I_n$ contains some interval $(c,d)$ disjoint from that set. Let $A_n$ be a fat Cantor set in $(c, (c+d)/2)$ and $B_n$ a fat Cantor set in $((c+d)/2, d)$.

Now let $A = \cup_{n=1}^\infty A_n$ and $B$ its complement (which contains $\cup_{n=1}^\infty B_n$). Any open interval $(a,b)$ contains some $I_n$ and its corresponding $A_n$ and $B_n$, and therefore $m((a,b) \cap A) \ge m(A_n) > 0$ and $m((a,b) \cap B) \ge m(B_n) > 0$.

EDIT: If $A$ is not measurable, you can't talk about the measure of its intersection with an interval. You could discuss outer measure, though: the (Lebesgue) outer measure of a set is the infimum of the measures of all Borel sets that contain it. You could, for example, consider a Bernstein set $A$. This has the property that every measurable set of positive measure intersects both $A$ and its complement. The result is that the outer measure
of $A \cap (a,b)$ and $A^c \cap (a,b)$ are both $b-a$.