OCL 2.4以降において「invalid」値を含むコレクションに対して「size()」を呼び出した結果はどうなるか。

コレクションの要素にinvalidが含まれていてもコレクション自体は有効だが、演算によっては伝搬する。原則はinvalid。