ทางตรรกเงื่อนไขหรือข้อจำกัดที่อธิบายถึงข้อจำกัดหรือรัฐ ตัวอย่างเช่น ข้อจำกัดอาจจะจำกัดในช่วงของข้อมูลบางค่า หรือ ในบางลักษณะการทำงานของแอพลิเคชัน หรืออาจเป็นคำอธิบายของสถานะจำเป็นของระบบที่จุดใดในเวลา