Conjecture for every partial order .
The function and micronization are defined in my research monograph.
There is an easy proof of this conjecture in new version of my book.
*Algebraic General Topology. Volume 1. Victor Porton
Bibliography
* indicates original appearance(s) of problem.