Completed sets, maps, functions, conditionals