赤攝也『集合論入門』ぼんてんぴょん(Bontenpøn) @y_bonten ∈は「属す」、⊆は「含まれる」と表現するのが主流だと思うが、∈を「要素として含まれる」と表現することもある。ところが赤集合論では∈が「含まれる」、⊆が「包まれる」。 2014-11-06 00:23:18 ぼんてんぴょん(Bontenpøn) @y_bonten @y_bonten あぁ、正確には赤集合論は∈を「属す／含まれる」の両方で呼んでいる。「含まれる」の曖昧さが元凶なので、私は∈を「属す」、⊆を「包含される」と呼び分けている。 2014-11-06 00:27:07
Matthias Weckmann - 10 Sonaten für das Hamburger Collegium Musicum
