Cтраница 4
Все и, определяемые элементарными формулами, порождают алгебру Халмоша U. Нам остается проверить, что система всех и, для KOTOpbfk выполняется нужное соотношение, замкнута относительно всех операций алгебр Халмоша. [46]
С /, определяемый элементарной формулой. [47]
Это определение действия / на элементарные формулы однозначно продолжается на все формулы. [48]
Утверждение а) очевидно для элементарных формул, так как в них нет связанных переменных. [49]