This is my first attempt to define micronization.
Definition Let is a binary relation between sets
and
. micronization
of
is the complete funcoid defined by the formula (for every
)
Conjecture If is a strict partial order,
.
The idea of micronization is that it transforms a “global” relation (such as a strict partial order) into a “local” space (something like a topology).
This my definition probably can be generalized for funcoids instead of binary relations.