命题中是小的集合可以推出大的集合么?