HOMELv040 OCLにおいて、2つのSet「s1, s2」に対して「s1.intersection(s2)」が空である場合、何が言えるか。 2026年1月25日 積集合（共通部分）が空であることは、2つの集合に重なりがないことを意味する。 「QVT-Relations」における「checkonly」ドメインの意味はどれか。 UMLメタモデルにおいて、あるクラスが「能動的（isActive = true）」である際、その振る舞いを開始するタイミングを定義するものはどれか。
