>>216
<S>⊂∪(n∈N)S^n が成り立つのは何故?