シーケンス図の結合フラグメントにおいて、指定された順序以外のイベントが発生し得ないことを保証する演算子はどれか。

assert(assertion)は唯一の有効なシーケンスであることを表明する。