def3