assertion

noun

in computer programming, statement that a predicate is always true at that point in code execution
act/process of stating assuredly, saying, or claiming (manner of utterance)
act of explicitly stating one's belief in a fact or opinion

Pronunciation: /əˈsɜːʃən/ / /əˈsɜɹʃən/ / [əˈsɝʃn̩]

Etymology: From Middle English assercioun, from Latin assertiō. By surface analysis, assert + -ion.

The act of asserting; positive declaration or averment.
“"Do tell us the real name of your country, and then when you are gone we shall know how to talk about you." To this luminous argument and remonstrance I could oppose nothing but assertion, and the whole party remained firmly convinced that I was for some reason or other deceiving them.”
Something which is asserted; a declaration; a statement asserted.
“You're a man of strong assertions!”
“Suppose you are given the semifactual assertion, "even if Nora had liked mathematics then she would have became^([sic]) a scientist" and then you find out that Nora did in fact become a scientist.”
A statement or declaration which lacks support or evidence.
“That's just a bare assertion.”
“Drivers' union ASLEF bluntly rebuffed the claim of unofficial action, calling it a lie. And Avanti West Coast was unable to provide any proof for its assertion, when questioned by RAIL.”
Maintenance; vindication.
“the assertion of one's rights or prerogatives”
A statement in a program asserting a condition expected to be true at a particular point, used in debugging.
“The user should be absolutely confident that the error issued is a real design error. In other words, a user should be confident that his assertion code is correct and that the assertion failure is not a false condition.”
The set of information that the statement preparer is providing in a financial statement audit.