Definition, synonyms and related words
A proposition which is true only because it is a conditional statement with a necessarily false premise, or which asserts a property of all elements of an empty domain of discourse.