Standardannahme

Die Standardannahme, oder der Default (engl. ), bezeichnet die Annahme, dass ein Satz, eine Relation oder eine Eigenschaft im Standardfall gilt, d.h. dass eine Annahme ohne explizite Setzung im Einzelfall solange gilt, bis sie durch eine speziellere Festlegung außer Kraft gesetzt wird. Der Begriff weist Analogien zum Begriff der Voreinstellung (auch: Default) in der Programmierung auf, wird aber in einem verallgemeinerten Sinn in verschiedenen Gebieten verwendet.