Comparing "size" of open sets in a topological space? In metric space, we have the notion of distance, which enables us to have a general idea on the "size" of an open set, say, by measuring its diameter. If we now have 2 open sets $A,B$ in a topological space, we tends have the impression that $A$ is "smaller than" $B$ if $A\subset B$. But what if we are given 2 disjoint open set? Is there a general way for us to compare "size" of open set in a topological space? (Say, $A$ is smaller than $B$, or $A$ and $B$ have the similar size) How can we get the impression of the size of an open set in a topological space? Thanks.
P.s. Cardinality does not count as a solution because it does not rely on the topology anyway.
 A: The comments and answer here seem to be a little depressing - topology can still measure interesting properties of open sets!  Michael Burr is probably right in that you can't hope for anything more than a poset, but let's at least construct an interesting one!
Let's try the following: $$\text{Define }\;A \le B\text{ if there is an embedding }\;A \stackrel{f}\hookrightarrow B.$$
We can check that this gives us a partial ordering on topological spaces, hence also topological subspaces.  In addition, if $A \subset B$ are subspaces of $X$ then $A \le B$.  (Note that if $A \le B$ it may not be the case that $A \subset B$.)
This is a purely topological characterization, and it turns out to be interesting, because we can use topological tools to study it!
One immediate question that you might have is, "Can you produce two spaces $X, Y$ such that $X \lneq Y$?"  It turns out this is pretty easy: take $X = \mathbb R^2$, and take $Y = \mathbb{RP}^2$.  Or if we want spaces that are incomparable elements consider $\mathbb{RP}^2$ and $S^2$.  All these results rely on interesting algebraic topology.
So it seems this is an interesting way to characterize "size" in terms of topological complexity.

A few fun exercises for interested readers, in roughly increasing order of difficulty:


*

*Given a space $X$, what subspace(s) is/are minimal in this order?  What set is a maximal element?

*Construct a space $X$ and subsets $A_i \subset X$ such that $$A_1 \lneq A_2 \lneq \cdots \lneq X.$$

*Give a version of the previous construction where $X$ and the $A_i$ are all connected.

*Prove that $\mathbb{RP}^2$ and $S^2$ are incomparable elements.

*Prove that $\mathbb{R}^2 \lneq \mathbb{RP}^2$.

*Construct a topological space $X$ and subspaces $\{A_r\}_{r \in \mathbb{R}_{\ge 0}}$ with $|X| = \mathfrak{c}$ (the cardinality of the continuum) and $A_r \lneq A_{r'}$ for all $r < r'$.  (I'm not 100% sure my answer here is correct, or that this is possible.)

A: You cannot.  One of the consequences of "rubber sheet geometry" is that distance, hence area, is a fluid thing.
M.C. Escher represented hyperbolic geometry many times in his Circle Limit works, for instance Circle Limit IV.  The referenced image is a representation of an infinite metric space.  Each demon is congruent (same area) and each angel is congruent in the original space.  However, topology allows us to (continuously) magnify and demagnify various parts of a space with impunity.  Consequently, Escher's work is topologically equivalent to the original tiling of a hyperbolic space.  If we were to imagine translating the space (or what is equivalent, translating the point at the center of our magnifying window into the space), the largest figures would shrink as they moved to the side and smaller figures would grow as they moved to the center of the view.
To borrow words of Yoda, in topology "size matters not."
