hereditivity

not defined yet