Skip to main content
\(\renewcommand{\tabcolsep}{2.4pt} \renewcommand{\arraystretch}{.77} \newcommand{\tab}{} \newcommand{\suchthat}{\; \vert \;} \newcommand{\divides}{\!\mid\!} \newcommand{\tdiv}{\; \text{div} \;} \newcommand{\restrict}[2]{#1 \,_{\,#2}} \newcommand{\lcm}[2]{\text{lcm} (#1, #2)} \renewcommand{\gcd}[2]{\text{gcd} (#1, #2)} \newcommand{\Naturals}{{\mathbb N}} \newcommand{\Integers}{{\mathbb Z}} \newcommand{\Z}{{\mathbb Z}} \newcommand{\Znoneg}{{\mathbb Z}^{\text{noneg}}} \newcommand{\Zplus}{{\mathbb N}} \newcommand{\Enoneg}{{\mathbb E}^{\text{noneg}}} \newcommand{\Qnoneg}{{\mathbb Q}^{\text{noneg}}} \newcommand{\Rnoneg}{{\mathbb R}^{\text{noneg}}} \newcommand{\Rationals}{{\mathbb Q}} \newcommand{\Reals}{{\mathbb R}} \newcommand{\Complexes}{{\mathbb C}} \newcommand{\relQ}{{\textsf Q}} \newcommand{\relR}{{\textsf R}} \newcommand{\nrelR}{\not{\textsf R}} \newcommand{\relS}{{\textsf S}} \newcommand{\relA}{{\textsf A}} \newcommand{\Dom}[1]{\text{Dom}(#1)} \newcommand{\Cod}[1]{\text{Cod}(#1)} \newcommand{\Rng}[1]{\text{Rng}(#1)} \DeclareMathOperator{\caret}{$\scriptstyle\wedge$} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)