{ x ^ 2 | x ∈ S, x > 3 } みたいな数学の集合の表現が元ネタなのかもね