ClosedSet is HashSet