necessity

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