Définitionsraieton