Note 158

But then it is not a definition anymore.

Back to main text