This is my first attempt to define *micronization*.

**Definition** Let $latex f$ is a binary relation between sets $latex A$ and $latex B$. *micronization* $latex \mu (f)$ of $latex f$ is the complete funcoid defined by the formula (for every $latex x \in A$)

$latex \left\langle \mu (f) \right\rangle \left\{ x \right\} = \bigcap \left\{

\uparrow^B \left( f x \setminus f y \right) \hspace{1em} | \hspace{1em}

\left( x ; y \right) \in f \right\}. $

\uparrow^B \left( f x \setminus f y \right) \hspace{1em} | \hspace{1em}

\left( x ; y \right) \in f \right\}. $

**Conjecture** If $latex f$ is a strict partial order, $latex S^{\ast} (\mu (f)) = f$.

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.