Ultrafilter mappings and their dedekind cuts