Ultrafilters of sets Antonín Sochor, Petr Vopěnka (1981) Commentationes Mathematicae Universitatis Carolinae