集合論

$ \lbrace a \in A | y < x \rbrace

条件y<xを満たす集合Aの要素aの集まり