Fungrim home page

Fungrim entry: c01d22

Q={pq:pZandqZ{0}}\mathbb{Q} = \left\{ \frac{p}{q} : p \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, q \in \mathbb{Z} \setminus \left\{0\right\} \right\}
TeX:
\mathbb{Q} = \left\{ \frac{p}{q} : p \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, q \in \mathbb{Z} \setminus \left\{0\right\} \right\}
Definitions:
Fungrim symbol Notation Short description
QQQ\mathbb{Q} Rational numbers
SetBuilder{f ⁣(x):P ⁣(x)}\left\{ f\!\left(x\right) : P\!\left(x\right) \right\} Set comprehension
ZZZ\mathbb{Z} Integers
Source code for this entry:
Entry(ID("c01d22"),
    Formula(Equal(QQ, SetBuilder(Div(p, q), Tuple(p, q), And(Element(p, ZZ), Element(q, SetMinus(ZZ, Set(0))))))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-08-17 11:32:46.829430 UTC