「AはBである」のメタレイヤー
summary.icon
「AはBである」と一口に言っても、それぞれのメタレイヤーが違うことがある
自然言語は難しいね
方針として、集合論で考えることにする
1. $ A=B
同値、言い換え
もちろんメタレイヤーも等しい
example.icon
「猫」は「Cat」である
「田中さん」は「田中太郎」である
「Abel群」は「可換な群」である
2. $ A \subset B
包含
メタレイヤーは等しい
example.icon
「猫」は「動物」である
「人間」は「動物」である
「Abel群（構造）」は「群（構造）」である
3. $ A \in B
所属
メタレイヤーが一つ違う
example.icon
「タマ」は「猫」である
「田中さん」は「人間」である
「SU(2)」は「群（構造）」である