• An expression is closed if (i.e. it has no free variables)