Note 158
But then it is not a definition anymore.
Back to main text