大学学部レベル質問スレ 5単位目 [無断転載禁止]©2ch.net

>>60

<S> を記述するのに、一番適しているのは↓の疑似プログラム的な表現だと思います。

def f(S):
▽▽<S> = set([])
▽▽for T in power(S):
▽▽▽▽if #(T) != ∞:
▽▽▽▽▽▽s = e
▽▽▽▽▽▽for a in T:
▽▽▽▽▽▽▽▽s *= a
▽▽▽▽▽▽<S>.add(s)
▽▽return <S>

というプログラムを考えると、

S が空集合のとき、

<S> = {e}

です。