About topological structures corresponding to partial order

Intuitively (not in the sense of comparing cardinalities, but in some other sense), the set of natural numbers is less than the set of whole numbers, which is less than the set of rational numbers, which is less than the set of real numbers, which is less than the set of complex numbers.

First, we could define: poset is less than the poset if there is an order embedding from to but not vice versa. It plays good, except that the order is commonly just undefined for complex numbers.

To compare reals and complex numbers, we can use topology embedding: Reals can be topologically embedded into complex numbers, but not vice verse.

The problem here is that we need to use two different structures: partial order and topology. We need to “join” it into just one fundamental and natural structure.

Topology in very abstract terms is a description of which elements are near which.

So on and there can be defined a structure similar to topology (which points are near which) as relations such as .

This structure is just a binary relation not a topology. Fortunately, there are abstractions: funcoids and reloids (see my book and these updates for the book) which generalize both binary relations and topologies.

So, our task, refined, is to construct adequate reloids on , , , , .

Topologies on and are wrong for our purposes: Them are discrete and just say nothing about set structure.

For and the structure we generate from the usual partial order should be the same as the usual topology on these sets.

I propose the structure which I call micronization as a generalization for both order and topology for sets , , , (but not , for which we define the correct reloid only directly from topology, as there is no customary order on ).

Let be a binary relation on a set . Then .

Let be a partial order on a set . Micronization .

I conjecture that for being the posets , we have that coincides with the customary topology. For and the micronization probably is (that is exactly what our feelings describe as natural/whole numbers being “near” to each other).

So we have defined the same kind of structure for all , , , , (for , defined from order, for defined from topology, and for , defined from both order and topology which as I conjecture are the same). Now we can define: is less than if there is an embedding from to but not vice verse. How to define the term “embedding”? I am yet not sure but probably we should define “embedding” as a continuous injective function (see my book) from a reloid to a reloid .