(2010•顺义区一模)命题p:“∃x∈R,x2-x<0”,那么命题¬p为(  )