the event that

[ریاضیات] در صورتی که