- 508 名前：１３２人目の素数さん mailto:sage [2017/11/05(日) 17:52:57.58 ID:x0G6ptbz.net]
- >>455
> ５）co-tail_trの定義：数列 co-tail_tr：＝∩(～∞) A'[[X]]tr。
> ここに、”∩(～∞)”は、A'[[X]]trから作られる可算無限長数列において、
> 同値類U_trの全ての元にわたって、共通部分（積集合）を求めたもの
何を言ってるのか分からないです。
類の異なる2元x∈U_1、y∈U_2に対してx∩y＝φでよろしいですか？
同じ類に属する異なる2元a_1, a_2∈U_trに対してa_1∩a_2はどのように定義されているのですか？
異なる2元a_1, a_2∈U_tr�
