Theorem qssaa

Description: The rational numbers are contained in the algebraic numbers. (Contributed by Mario Carneiro, 23-Jul-2014)

	Ref	Expression
Assertion	qssaa	$$⊢\mathbb{Q}\subseteq 𝔸$$

Proof

Step	Hyp	Ref	Expression
1		qaa	$$⊢x\in \mathbb{Q}\to x\in 𝔸$$
2	1	ssriv	$$⊢\mathbb{Q}\subseteq 𝔸$$