Las propiedades de un sistema formal semejante están dadas por un conjunto de reglas bastante simples, ciertamente mucho más simple que el "álgebra de proyección" que Birkhoff y von Neumann habían introducido unos años antes.