postcondiciones

Conjunto de condiciones que deben darse después de cierto punto.