This Element explores the philosophical role of definitions in mathematical knowledge, examining their origins, epistemic roles, and formal constraints. It explores explicit, implicit, and axiomatic definitions, and their potential to yield mathematical knowledge.