表示集合的大写字母上有两道横线代表什么意思