The conditions that are imposed over the inputs of the process and the process must hold to be successufully invoked.