(1) A constraint that must be true at the completion of an operation.
(2) A textual description defining a constraint on the system when a use case has terminated.