>>562
Sが有限集合のときは S*=S