帰属関係
関係 (数学)
$ \in
のこと
$ \in
の呼び方がわからなかったので探してみた結果、それらしき名前がこの「帰属関係」だった
一般的に使われている呼び名かどうか微妙に自信がないのだが、名前のない状態は不便
とりあえず
/takker
では
$ \in
に「帰属関係」というラベルを与えることにする
References
概要 | 元_(数学) - Wikipedia
#2021-11-10
12:44:01