ループの特定の部分を毎回実行する前に成立していなければならない一つ以上の条件を指定する論理式。

アサーション（assertion）