add following functions : set_size, set_contains, set_isEmpty, set_clear