In der Informatik ist eine Bedingung, die auftritt, wenn eine Maschine Berechnung ein NULL-Ergebnis erzeugt, die kleiner als die kleinste nicht-NULL-Menge, die Speichereinheit des Computers speichern oder vertreten kann.