帰属関係を使った無限降下列
帰属関係
$ \in
を用いて作った
無限降下列
のこと
e.g.
$ \cdots\in a_2\in a_1\in a_0
論理式で表すと
$ \forall i\in \Z_{\ge 0};a_{i+1}\in a_{i}
となる
#2021-11-10
12:42:08