ある対象xが積集合に含まれるための条件を書こうとしてるんですよね？
「あるx〜」なんて書いたら元の(左辺の)xは何だったんですか？ってことになりますよね