merge event

[صنعت] رویداد پوششی
[ریاضیات] واقعه ی پوششی