事後 じご条件 じょうけんです
ji gojōkendesu

Noun
Desu Copula

The polite form of 事後条件

1. Postcondition; Aftercondition

Polite
Computing