defef