Re: Merging combining classes, was: New contribution N2676

[Philippe Verdy]

> So, all we can do is to define compatibility equivalence between:
>     <c1, CCO, c2>
> and:
>     <c1, c2>
> if and only if:
>     CC(c1) > CC(c2) > 0.

Oops! Of course, I really meant:

    All we can do is to define compatibility equivalence (NFK*)
    between:
        <c1, CCO, c2>
    and:
        <c1, c2>
    unless:
        CC(c1) > CC(c2) > 0.

More formally:
    {      NFKC(<c1, CCO, c2>) = NFKC(<c1, c2>),
    and   NFKD(<c1, CCO, c2>) = NFKD(<c1, c2>)
    }
<=> not
    {      CC(c1) > CC(c2),
    and   CC(c2) > 0
    }
<=>
    {      CC(c1) <= CC(c2),
    or     CC(c2) <= 0
    }