In mathematics, a definition is an exact way of saying what something is. It might not be the easiest way to say what it is, but it is used because it is exact. It can be used in a mathematical proof about the thing.