>>109
問題ない。
添字集合 X があったとき
s ∈ X
をとって
A_s とする。それだけのこと。