中英文對照 —— 集合（數學）、代數（抽象代數）、拓撲

1. quantifier：量詞

• existential quantifier：存在量詞
  
  • 存在量詞引入規則：introduction rule of an existential quantifier
  • 存在量詞消除規則：elimination rule of an existential quantifier
• universal/generality quantifier：全稱量詞

2. 代數

• category：範疇，category theory：範疇論；
• morphism：n. [數] 態射；形態主義

3. 拓撲

• strip：n. 帶；條狀；脫衣舞
  
  • Möbius strips