Una condició semàntica o restricció que descriu una limitació o estat. Per exemple, una coacció podria ser una limitació en la gamma de algunes dades de valors o en alguna conducta de l'aplicació, o podria ser una descripció d'un estat requereix del sistema en un punt en particular en el temps.