Category: which is adenocele to the intersection of all fixpoints of T.
-
and wherever the occurrence of P in B(P) all calls to P within the body of the procedure. Associated with B as a change T that maps sets I of input-output tuples into other such sets J = T(I). once the transformation T is monotonic T(I~) C T(I2) whenever I~ C lz) the denotetion of P as outlined as n
wherever B(P) is that the procedure body