Necessity (logic)
in logic, property of a statement which must be true in order for another given statement to be true
