postcondition
requirement of a result or effect produced when all its initial conditions are met, and that allows validating it
en-GB/pəʊstkəndɪʃn/
requirement of a result or effect produced when all its initial conditions are met, and that allows validating it