# Definition:Real Hyperbolic Secant/Definition 2

## Definition

The real hyperbolic secant function is defined on the real numbers as:

$\sech: \R \to \R$:
$\forall x \in \R: \sech x := \dfrac 1 {\cosh x}$

where $\cosh$ is the real hyperbolic cosine.