I am so not a math person. From a math perspective perhaps this is important. From a computer perspective it completely misses the point.

This work from Alonzo Church gave us https://en.m.wikipedia.org/wiki/Lambda_calculus which in turn provides recursive function abstraction and thus lexical scope. While this model of computation is older than OOP it currently seems to be having a modern renaissance in its influence of language design.