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