Un grupo de propiedades X "superviene de" un grupo de propiedades Y cuando las propiedades del grupo X están determinadas por las del grupo Y.