For the inevitable event s, there is p(S|A)= 1,

A is a part of S, and their intersection (called their product event in probability theory) is equal to A,

P(S | A)= P(AS)/P(A)= P(A)/P(A)= 1。