It may be defined as follows: a0c0