Bir anlamsal durumu ya da bir sınırlama ya da durumu açıklar kısıtlama. Örneğin, bir kısıtlama bazı veri aralığı üzerinde bir sınır değerler ya da uygulama bazı davranış olabilir ya da bir açıklaması bir gerekli sistem belirli bir noktada zamanında olabilir.