>>455
＞∩(〜∞)”は、A'[[X]]trから作られる可算無限長数列において、
＞同値類U_trの全ての元にわたって、共通部分（積集合）を求めたもの。

それは空集合だよｗ

列のどの項も削ることができる　したがって何も残らないｗ