A naming of a haskell expression/Haskell Function A variable is bound to its expression and does not change.