集合A的上面大一横杠是什么意思?