a brief study of science festivals

∀某 ∩ u : |∅| < |某 ∩ u| < ∞ ⇒ u ∈ {某}