Definition:

distinctness