In a relationship with another set such that membership in the other set implies membership in the present set
Supervening; occurring subsequently; coming after something, especially when not causally connected.