Theorem abrexdom2

Description: An indexed set is dominated by the indexing set. (Contributed by Jeff Madsen, 2-Sep-2009)

	Ref	Expression
Assertion	abrexdom2	$$⊢A\in V\to \left\{x|\exists y\in Ax=B\right\}\preccurlyeq A$$

Proof

Step	Hyp	Ref	Expression
1		moeq	$$⊢{\exists }^{*}xx=B$$
2	1	a1i	$$⊢y\in A\to {\exists }^{*}xx=B$$
3	2	abrexdom	$$⊢A\in V\to \left\{x|\exists y\in Ax=B\right\}\preccurlyeq A$$