En semantisk betingelse eller begrensning som beskriver en begrensning eller tilstand. For eksempel en begrensning kanskje en begrensning på noen dataområde verdier eller på noen virkemåten til programmet, eller det kan være en beskrivelse av en nødvendig tilstand av systemet ved et bestemt punkt i gang.