definitionum