Such a function, intuitively, represents a programming language with the property that no valid program can be obtained as a proper extension of another valid program.
Такие функции, если наглядно, представляют собой язык программирования с тем свойством, что ни одна верная программа не может быть получена как соответствующее расширение другой верной программы.