>>413
そんな無限集合そのものをお前は見たことあるのか？と。

PPのどの元を選んでもQに含まれるで十分。