hashset definitions