#lindenbaum-tarski #boolean algebra #equivalence class #propositional logic #quotient algebra