On Sat, Sep 27, 2008 at 09:19:54PM +0000, Alexey Tourbin wrote:
> > Не появилось ли у тебя идей, как искать прообразы каждого P относительно
> > функции B или хотя бы определять (без сборки), <S1,C1> =1 <S2,C2>, где
> > =1 - тогда, когда B(S1,C1) = B(S2,C2)? Факторизовать область определения
> 
> Равенство =1 нельзя определить иначе, кроме как экстенсионально;
> то есть при S1!=S2 или С1!=С2 никакого равенства быть не может.

Но можно ввести отношение частичного порядка, которое означает
совместимость ранее собранных пакетов в более новой среде.

Пусть B(S,C1)->P1 и B(S,C2)->P2.
Тогда, если C1<C2, то P1<P2.