Definition:

dimension