論理と集合、スーパーセットとサブセット

▼▼論理と集合の関係が割と好きだ。
▼▼上位概念と下位概念(高級概念と低級概念)、という繋がりのことを調べているうちに、上位集合と下位集合(超集合と部分集合)、という繋がりの話に至って、包含関係と帰属関係は異なる、って話についても調べたりしていた。
▼▼スーパーセット、サブセット、という言葉を数回ほどは聞いたことがあって、前までは脳内で訳せていなかったのだけど、超集合と部分集合と訳してよい、というのも、今回得た知識だ。備忘記録しておく。
▼▼論理に強い人の説明のしかたには集合の匂いが濃く漂っている、というふうに思っているところがあるかと思う。▼▼という認識、おそらく森博嗣の影響が強いな。