Basic Notions on Substitutions