要求が満たされていないことを示すためにダイアグラム上で使用する関係はどれか。

SysMLに「満たさない」という専用の関係線はなく、プロパティで管理します。