Some theorems on passing from local to global presence of properties of functions (Logical Methods in Computer Science, 2017)