x-1=0是什么集