圏論についてやってるんだが、低脳過ぎていまいちわからんところがあるから助けてくれ。
下の２つの命題の証明
宇宙Uに対しx∈U ⇒ {x}∈U
また{U}はUに含まれない