Completed sets, maps, functions