definan