olemus
lausung, väide, kinnitus, konstateering vms

ISO/IEC 2382:
keeletarind, mis spetsifitseerib teatud nõutava oleku või teatud tingimuse, mis peab programmi teatud punktis olema selle täitmisel rahuldatud
=
language construct specifying a particular status that must exist or a particular condition that must be satisfied at a particular point of a program when it will be executed

ISO/IEC 29115:
tõenduseta, kuid väitest rangem lausung
=
statement made by an entity without accompanying evidence of its validity
Note. The meaning of the terms claim and assertion are generally agreed to be somewhat similar but with slightly different meanings. For the purposes of this International Standard, an assertion is considered to be a stronger statement than a claim.

vt ka
- avaldus (1)
- avaldus (2)
- avaldus (4)