◎→∃⊆∞