keeletarind, mis spetsifitseerib teatud nõutava oleku või teatud tingimuse, mis peab programmi teatud punktis olema selle täitmisel rahuldatud