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

Noun

1. postcondition

Computing