is defin