Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Альфред Тарский \ Boolean algebras with operators, I (B. Jonsson, A. Tarski, 1951) \ Notations \
 

9.6.3.2.02.3. Algebras in the wider sense

 
Начало см. здесь.
B. Jonsson, A. Tarski.  Boolean algebras with operators, I.
American Journal of Mathematics, Vol. 73, No. 4 (Oct., 1951), p. 897.
"Representation theorem" см. здесь и здесь.