postcondition (n)
Elejére
Előző
Következő
postcondition
n.
utófeltétel