>>375
#{g_(k_i) | g_(k_i)∈H, k_i は増加列, k_i<n }
はどういう意味?k_iは#{}の束縛変数?それともg_iから一意に定まるもの?