ID:bKoS+/J9　君のオレ様用法だと
「1∈2∈3∈・・∈∀n∈ω
　は
　任意の自然数nについて
　1∈2∈3∈・・∈n∈ω
　を満たす
　という意味だよ？」
となるが・・・

上記の言明自体は間違っていないが
そもそもそんな書き方をしない