Definitsioon: keeletarind, mis spetsifitseerib teatud nõutava oleku või teatud tingimuse, mis peab programmi teatud punktis olema selle täitmisel rahuldatud
Mõiste: silmusetõend
Ülemmõiste: keeletarind
Mõiste: silmusetõend
Ülemmõiste: tarind