Magill-type theorems for mappings.
We construct in ZFC an ultrafilter such that for every one-to-one function there exists with in the summable ideal, i.e. the sum of reciprocals of its elements converges. This strengthens Gryzlov’s result concerning the existence of -points.