集合反射

集合论中,对于集合 的「反射」定义为