📜/≡➡️🅱️

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

🏛️/🧱={[🧱][✨🧱]...}

#quotient group #group theory #subgroup #normal subgroup #equivalence class