A,B表示随机事件,则有(AUB)-B=A成立.