precodition

[ریاضیات] پیش شرط، قبلا شرط کردن، پیش نیاز