set_of_all_servant(
,
)
This is just like bag_of_all_servant except that duplicates are removed in the returned list.
bag_of_all_servant