πФ⇔∑⇆⊆⊃⊃∉∉Δ≡ω↑∪↓∈∉∧∨∞α