集合A上方的横线代表什么