φ是什么集合