Lindenbaum algebra