Category:Definitions/Real Division

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Real Division.
Related results can be found in Category:Real Division.


Let $\struct {\R, +, \times}$ be the field of real numbers.


The operation of division is defined on $\R$ as:

$\forall a, b \in \R \setminus \set 0: a / b := a \times b^{-1}$

where $b^{-1}$ is the multiplicative inverse of $b$ in $\R$.

Pages in category "Definitions/Real Division"

The following 2 pages are in this category, out of 2 total.