set-theory Definition Hereditary Set A hereditary set is a set whose elements are all hereditary sets. That is, all elements of the set are themselves sets, as are all elements of the elements, and so on.