📜/≡➡️🅱️

#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

⛓️❓:🅰️⇌🅱️

#conjugacy problem #group linkage #equivalence class #abstract algebra #word problem #dehn's problems #algebraic decision problem