ブール代数に関するb1-b3についてはこの事実は自明であり、またそれ以外のものについては1960年に出版されたsuppesの本の第三章で紹介されている。