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
ZZZ\mathbb{Z} Integers
Source code for this entry:
Entry(ID("c01d22"),
    Formula(Equal(QQ, Set(Div(p, q), For(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-10-05 13:11:19.856591 UTC