(1) Sebuah kendala yang harus benar pada penyelesaian operasi.
(2) Sebuah deskripsi tekstual mendefinisikan kendala pada sistem ketika sebuah use case telah berakhir.