notes in operation definitionthere are three parts function precondition postcondition the function clause defines the role of the operation if we consider the addition operation in integers the function clause will state that two integers can be added using this function in generalprecondition specifies any restrictions that must be satisfied before the operation can be applied this clause is optional if we consider the division operation on integers then the precondition will state that the divisor should not be zero so any call for divide operationwhich does not satisfy this conditionwill not give the desired output precondition specifies any condition that may apply as pre-requisite for the operation definition there are certain operations that can be carried out if certain conditions are satisfied for examplein case of division operation the divisor should never be equal to zero only if this condition is satisfied the division operation is carried out hencethis becomes precondition in that case (ampersandshould be mentioned in the operation definition postcondition specifies what the operation does one can say that it specifies the state after the operation is performed in the addition operationthe post condition will give the addition of the two integers figure components of adt adt value definition definition clause operation definition condition clause function precondition postcondition as an examplelet us consider the representation of integer data type as an adt we will consider only two operations addition and division value definition definition clausethe values must be in between the minimum and maximum values specified for the particular computer condition clausevalues should not include decimal point operations add (abfunctionadd the two integers and preconditionno precondition postconditionoutput lovely professional university