definiretur