What is it called when there is an equation that is always true?

an identity?

maybe a tautology?

Comment by mgately:

In the field of discrete mathematics (simplified the study of logic) any expression which always evaluates to true is in fact called a tautology. While less cool sounding, an expression which always evaluates to false is just called a contradiction.