事後じご条件じょうけん
ji gojōken

Noun

1. postcondition

Computing