Содержание (FireFox,Safari)
9.12. Фильтрующий дезинтегратор
Пусть:
- дана ВС vs
- даны n базисов b1..bn не более широких, чем базис b самой vs
- сумма таких базисов b1+..+bn = b - совпадает с базисом самой vs
- в множестве ВС vs1..vsn каждая vsi является проекцией vs на соответствующий bi
Тогда фильтрующий дезинтегратор ставит в соответствие vs и b1..bn указанные ВС-проекции vs1..vsn.
Так определённому фильтрующему дезинтегратору НЕ соответствуют ничего -
Данное определение понадобилось только как частный вид нормализации ВС