高一集合数学里的“|”具体是什么意思?