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.