ここではこれとは別に部分集合/2として再帰を使って定義する.
/2