شرط

مؤلفه‌ای در یک قاعده که نشان می‌دهد آن قاعده در کدام وضعیت اعمال می‌شود