not sure about "a definition asserts that something is true".  It is more defining an equivalence.