これもさすがに
*A=A∪{正の無限小超実数}
かなあ
じゃあ
周期1の周期関数の全体に適当なノルム入れて
{0,1}係数の三角関数の和の全体とかだったら?