What is the name for this probablity law: $P(A\mid B)=1-P(A'\mid B)$?

Question

What is the name for this probability law: $$P(A\mid B)=1-P(A'\mid B).$$

Answer 1

It is called the Complement Rule.

(taken from comment by Decaf-Math)