If he has phrased the definition redundantly, first of all look and see whether he has used any attribute that belongs universally, either to entities in general, or to all that fall under the same genus as the object defined; for the mention of this is sure to be redundant.