∀V∈V(a),∃W∈V(a)　s.t.∀ｂ∈W　⇒　V∈V(a)

お願いします。