The function f : M -> R is called lower semicontinuous if for al...