.
c английского с таджикского

postcondition

шарти баъдӣ, ниҳояшарт