postcondition
English
Etymology
From
post-
+
condition
.
Noun
postcondition
(
plural
postconditions
)
(
programming
)
A
condition
that must be met immediately after
execution
of some piece of code.
See also
precondition