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.