A set of criteria that must be true prior to the initiation of a use case.

One or more conditions that need to be true for a method call to be considered valid. Typically preconditions express constraints on the input data to the method, or constraints on the state of the method’s object. If the preconditions are true, the method should function correctly. If the preconditions are false, there are no guarantees about the result of calling the method.