1.) Philosophie, Linguistik: bestimmte, feststellende Behauptung, Feststellung oder Versicherung, bei der ohne jede Begründung etwas als wahr behauptet oder geleugnet wird
2.) Informatik: Zusicherung oder Annahme über den Zustand von Variablen innerhalb einer Programmiersprache oder eines Entwicklungstools