1. A bouNd variable or formal argumeNt iN a fuNctioN defiNitioN is replaced by the actual argumeNt wheN the fuNctioN is applied. IN the lambda abstractioN x . M x is the bouNd variable. However, x is a free variable of the term M wheN M is coNsidered oN its owN. M is the scope of the biNdiNg of x. 2. IN logic a bouNd variable is a quaNtified variable. See quaNtifier.

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ abstractioN ] [ actual argumeNt ] [ al ] [ am ] [ aN ] [ app ] [ ar ] [ arc ] [ arg ] [ argumeNt ] [ b ] [ bd ] [ bi ] [ bo ] [ bs ] [ by ] [ ch ] [ co ] [ coN ] [ coNs ] [ de ] [ diNg ] [ du ] [ ed ] [ ee ] [ er ] [ fi ] [ file ] [ fo ] [ for ] [ formal argumeNt ] [ fr ] [ free ] [ free variable ] [ fuNctioN ] [ gi ] [ gu ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ iN ] [ io ] [ is ] [ it ] [ la ] [ lambda abstractioN ] [ Lex ] [ li ] [ M ] [ ma ] [ mo ] [ mod ] [ module ] [ Na ] [ Nc ] [ Ng ] [ Ni ] [ Ns ] [ op ] [ pe ] [ ph ] [ pl ] [ quaNtifier ] [ query ] [ rc ] [ re ] [ S ] [ sc ] [ scope ] [ se ] [ si ] [ st ] [ th ] [ tr ] [ ua ] [ um ] [ va ] [ var ] [ variable ] [ ve ]