▼▼論理と集合の関係が割と好きだ。 ▼▼上位概念と下位概念（高級概念と低級概念）、という繋がりのことを調べているうちに、上位集合と下位集合（超集合と部分集合）、という繋がりの話に至って、包含関係と帰属関係は異なる、って話についても調べたりしてい…