A, B を R のボレル部分集合とします。

A ∩ B = 空集合とします。

|A ∪ B| = |A| + |B| が成り立ちます。

|A ∪ B| ≦ |A| + |B| は、 A, B がどんな R の部分集合であっても成り立ちます。

この状況で、

|A ∪ B| を評価する際、

|A ∪ B| ≦ |A| + |B| が成り立つという情報だけで十分であるとします。

そのとき、

|A ∪ B| ≦ |A| + |B|

と書くのと、

|A ∪ B| = |A| + |B|

と書くのではどちらが良いでしょうか？