Definition

Specification of a mathematical object to be used in constructing axioms and theorems.