defdef