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

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