↔️ Universal implication §

= when every object which satisfies the first function also satisfies the second one¹

Symbol §

• ⊂
  • e.g. “a ⊂ b” means “(the extension) a is contained in (the extension) b.”

Footnotes §

1. Carnap, R. (1963). The Logical Structure of the World. ↩