设A, B, C是集合,若A∪B = A∪C, 则B=C。
出自:西安交通大学---离散数学