{a属于实数|sina>=1}是空集吗?