For two sets A∪B = A, iff