شرط الدلالي أو التقييد الذي يصف التقادم أو الدولة. قيداً على سبيل المثال، قد يكون قيداً على نطاق بعض البيانات من القيم، أو على بعض سلوك التطبيق، أو أنها يمكن أن تكون وصفاً للدولة المطلوبة من النظام في نقطة معينة في الوقت.