definiendis