Logical implication

A relationship between two propositions where the truth of one implies the truth of the other.