background image

CHAPTER 13

Micronization

I defined “micronization” wrongly in my book and did some erroneous proofs

about it. Here is an attempt to salvage it.

https://en.wikipedia.org/wiki/Transitive_reduction

is a special case of mi-

cronization. (Hm, maybe them coincide only for finite sets?)

Definition

2393

.

Micronization

µ

(

E

) of a binary relation

E

is defined by the

formula:

µ

(

E

) =

RLD

l

f

RLD

S

(

f

)

w

E

f

f

2

.

It’s wrong (consider micronization of

on real numbers (which should be

addition of infinite small).

Question

2394

.

Under which conditions

S

(

µ

(

E

)) =

E

?

68