Большинство результатов § 3 принадлежит Бейду [3, 4], хотя частные случаи некоторых из этих теорем были доказаны раньше. Например, если В - ограниченная булева алгебра проекторов в рефлексивном пространстве, то полнота сильного замыкания В вытекает из теоремы Дэя [10] - факт, явно сформулированный Данфордом [2] ( см. также Бейд [ 3; стр.