📜/≡➡️🅱️

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

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

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

〰️✨➰

#path homotopy #deformation #continuous map #topology #path deformation #equivalence class

[Φ]↔️[Ψ]

#lindenbaum-tarski #equivalence class #logical formula #algebraic logic #model theory