Union方法的所有实现要求以下语句为真。

• The following statements are required to be true for all implementations of the Union method.