>>198 は、S∉Sを既知とするならば、
S\{S}=Sだということを言っているだけで
何が面白い問題なのかさっぱりわからん。
>>202 は、そもそも何をやらせたいのかさっぱりわからん。