>>307
f:[0,1]→ℵ2
D:[0,1]→ℵ2:D(x)=sup{f(y):x≠y∈[0,1]}
D(x)<f(x)
⇔ ∃α∈Ord: x≠∀y∈[0,1]: f(y)≦α<f(x)
#{x∈[0,1]:D(x)<f(x)}≦1
P=μ([0,1]¥{x∈[0,1]:D(x)<f(x)})=1