Definition of Hereditary Successor