Definition:

stipulation