Examples of such definitions are: