拒絶集合とは、プロセスが実行を拒絶できるイベントの集合formula_68である。