两个集合p、q满足p包含于q,若p为空集时,问p是q的什么条件