This idempotent ultrafilter enables us to find an appropriate infinite set.

• 这个幂等的超滤子能使我们找到一个适当的无限集。