Vacuous truth
In mathematics and logic, a vacuous truth is a conditional or universal statement (specifically a universal statement that can be converted to a conditional statement) that is true because the antecedent cannot be satisfied. An example of such a statement is "if Tokyo is in Spain, then the Eiffel Tower is in Bolivia".