Description: The integers are a subset of the rationals. (Contributed by NM, 9-Jan-2002)
Ref | Expression | ||
---|---|---|---|
Assertion | zssq | $${\u22a2}\mathbb{Z}\subseteq \mathbb{Q}$$ |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | zq | $${\u22a2}{x}\in \mathbb{Z}\to {x}\in \mathbb{Q}$$ | |
2 | 1 | ssriv | $${\u22a2}\mathbb{Z}\subseteq \mathbb{Q}$$ |