Group Function In Set Theory