Ableitung einer Menge

Unter der Ableitung einer Menge versteht man in der Mathematik die Menge aller Häufungspunkte dieser Menge. Vorausgesetzt wird dabei, dass auf der Menge ein Abstandsbegriff oder allgemeiner eine Topologie definiert ist. Ein gleichbedeutender Ausdruck ist die Derivierte der Menge. Heißt die Menge , so sind Zeichen für ihre Ableitung , oder, für die erste Ableitung, .