Definition:

varieties