defins