Simplified some functions in ExtendSet.