an assertion that must hold prior to the successful execution of the associated function (e g , use case path, class method) See also invariant and postcondition
If one thing is a precondition for another, it must happen or be done before the second thing can happen or exist. They made multi-party democracy a precondition for giving aid. something that must happen or exist before something else can happen precondition of/for