Defined as mathematical notation

Defined as is a recurring research-paper notation family. Introduces a name or symbol whose meaning is fixed by the expression on the right.

Defined as: Introduces a name or symbol whose meaning is fixed by the expression on the right. Example: This line gives f its definition.