>454

not{}って意味わかんない．わざと書いてる？


>455

普通の言葉で言えば，

Aを集合族とする．
（455の記号を使えば，a=A，b=∪A．）
コレに対して，
　x∈∪A ⇔ ∃C∈A,x∈C
（すなわち，x∈∪Aであることは，集合族Aの元であるような集合のいずれかの集合Cに対してx∈Cである，ことと同値．）
だべ．

∪Aってなんだかわかってる？
「甘い運命」とか歌っていた歌手の名前じゃないよ．