集合位移

集合论中,对于集合 位移,定义为