necessity

Also known as necessary, requirement

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