一道离散填空题对于集合A和任何集合X和Y,若X属于Y,且Y属于A,则X属于A.称A为( )