definitionen