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

歌曲	∀某 ∩ u : |∅| < |某 ∩ u| < ∞ ⇒ u ∈ {某}
歌手	sci
专辑	a brief study of science festivals