Theory of ultrafilters. - Comfort W W; Negrepontis S (1974)