>>710
あなたの疑問は至極真っ当なもので、ａ∈ａや∈-loopsと書かれたら当然出てくる疑問です
ただ、IUTではこう述べられているよ、と私なりの理解を大雑把に書いただけです

あとお願いなんですが、よそのスレ、特にあなたがリンクしているようなスレはトンデモさんが現れた時に
誘導するだけにしてくれませんか？
そこのスレ主はここではほとんど書いていないようですし、書いても内容次第で即NG入れればいいだけなんで