クラス図において、自己関連(再帰的関連)を持つクラスのインスタンス構造を表現する際、木構造(Tree)において親を持たないルート要素を制約する場合のOCL記述として適切な方針はどれか。

親(parent)を表す関連端の多重度が0..1の場合、ルート要素は親を持たないため、parentコレクションが空(isEmpty)であることで特定できる。