A precise explanation of a mathematical term or concept. It is a shorthand notation of a Theorem.
Conditional Statement Convention
Conditional Statements in definitions are assumed to be Biconditional Statements by default. If is interpreted as iff (equivalence).