モデル変換において、ソースモデルを読み取ってターゲットモデルを生成する際、ソースを破壊しない変換を何と呼ぶか。

OCLにおいて、コレクションの全要素が異なることを確認する「isUnique」を、要素が1つのコレクションに適用した結果はどれか。